From woortwijn at inf.ethz.ch Fri May 1 11:43:14 2020 From: woortwijn at inf.ethz.ch (Oortwijn Wytse) Date: Fri, 1 May 2020 09:43:14 +0000 Subject: [fg-arc] FTfJP 2020 - Deadline Extended Message-ID: <01fe28f82a3245508732352f16332358@inf.ethz.ch> # DEADLINE EXTENDED - CALL FOR PAPERS Extended submission deadline: Friday 8 May (AoE) 22st Workshop on Formal Techniques for Java-like Programs (FTfJP 2020) https://2020.ecoop.org/track/FTfJP-2020-papers Co-located with ECOOP 2020, July 13-17, Berlin, Germany ## About FTfJP 2020 Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in this space are continually arising, resulting in new programming languages (PL) research challenges. Work on formal techniques and tools and on the formal underpinnings of programming languages themselves naturally complement each other. FTfJP is an established workshop which has run annually since 1999 alongside ECOOP, with the goal of bringing together people working in both fields. The workshop has a broad PL theme; the most important criterion is that submissions will generate interesting discussions within this community. The term “Java-like” is somewhat historic and should be interpreted broadly: FTfJP solicits and welcomes submission relating to programming languages in general, beyond Java, C#, Scala, etc. Example topics of interest include: * Language design and semantics * Type systems * Concurrency and new application domains * Specification and verification of program properties * Program analysis (static or dynamic) * Program synthesis * Security * Pearls (programs or proofs) FTfJP welcomes submissions on technical contributions, case studies, experience reports, challenge proposals, and position papers. ## Submissions Contributions are sought in two categories: * Full Papers (6 pages, excluding references) present a technical contribution, case study, or detailed experience report. We welcome both complete and incomplete technical results; ongoing work is particularly welcome, provided it is substantial enough to stimulate interesting discussions. * Short Papers (2 pages, excluding references) should advocate a promising research direction, or otherwise present a position likely to stimulate discussion at the workshop. We encourage e.g. established researchers to set out a personal vision, and beginning researchers to present a planned path to a PhD. Both types of contributions will benefit from feedback received at the workshop. Submissions will be peer reviewed, and will be evaluated based on their clarity and their potential to generate interesting discussions. The format of the workshop encourages interaction. FTfJP is a forum in which a wide range of people share their expertise, from experienced researchers to beginning PhD students. ## Formatting and Publication Submissions should be in acmart/sigplan style, 10pt font. Formatting requirements are detailed on the SIGPLAN Author Information page (https://www.sigplan.org/Resources/Author). Accepted papers will be published in the ACM Digital Library by default, though authors will be able to opt out of this publication, if desired. At least one author of an accepted paper must attend the workshop to present the work and participate in the discussions. ## Important Dates * Submission: May 8th (AoE) * Notification: June 5th ## Program Committee * Wolfgang Ahrendt (Chalmers University, Sweden) * Petra van den Bos (University of Twente, the Netherlands) * Marie Farrell (University of Liverpool, UK) * Paula Herber (University of Munster, Germany) * Nikolai Kosmatov (CEA LIST, France) * James Noble (Victoria University of Wellington, New Zealand) * Violet Ka I Pun (University of Oslo, Norway) * John Singleton (University of Central Florida, USA) * Mattias Ulbrich (KIT, Germany) * Anton Wijs (Eindhoven University, the Netherlands) * Elena Zucca (University of Genova, Italy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From abela at chalmers.se Mon May 4 18:17:18 2020 From: abela at chalmers.se (Andreas Abel) Date: Mon, 4 May 2020 18:17:18 +0200 Subject: [fg-arc] PPDP 2020 Final call for papers Message-ID: <63736822-eefe-b871-5a6c-641e00f5772a@chalmers.se> PPDP 2020 Call For Papers ========================= The 22nd International Symposium on Principles and Practice of Declarative Programming, [PPDP 2020](http://www.cse.chalmers.se/~abela/ppdp20/), hosted 8-10 September 2020 by the University of Bologna, Italy. **Due to the COVID-19 pandemic, PPDP 2020 will take place online. The submission, review, and publication process is unaffected. However, short extensions are available on request.** TL;DR Abstract deadline: 11 May; paper deadline: 15 May; extensions available. Scope ----- The PPDP 2020 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to: - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; functional languages; reactive languages; languages with objects; languages for quantum computing; languages inspired by biological and chemical computation; metaprogramming. - Declarative languages in artificial intelligence: logic programming; database languages; knowledge representation languages; probabilistic languages; differentiable languages. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair will be happy to advise on the appropriateness of a topic. PPDP will take place 8-10 September 2020 virtually hosted by the University of Bologna, Italy, co-organized with the 29th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2020) and the International conference on [Microservices 2020](https://www.conf-micro.services/2020/). Submission Categories --------------------- Submissions can be made in three categories: - regular Research Papers, - System Descriptions, and - Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: - insights gained from real-world projects using declarative programming - comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum - curricular issues encountered when using declarative programming in education - real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general - novel use of declarative programming in the classroom - programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided via a link to an extended version of the submission (recommended), or in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study extended versions or any material beyond the respective page limit. Material beyond the page limit will not be included in the final published version. Format of a submission ---------------------- For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at . The most recent version at the time of writing is 1.70. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact [ACM's TeX support team at Aptara](mailto:acmtexsupport at aptaracorp.com). Authors should note [ACM's statement on author's rights](http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of [ACM's plagiarism policy](http://www.acm.org/publications/policies/plagiarism_policy). Requirements for publication ---------------------------- **Due to the shift to an online event, registration fees will be decreased to cover only the costs of publication and online event hosting.** At least one author of each accepted submission will be expected to register and present the work at the conference. The PC chair may retract a paper that is not presented. The PC chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Important dates --------------- The organizers appreciate that potential authors may be disadvantaged by the COVID-19 pandemic and resulting disruption. **To encourage submissions, short extensions are available on request.** To request an extension, please register an abstract before the abstract deadline and write to the PC chair before the submission deadline explaining the circumstances and duration of the extension. -------------------------------- ----- ---- ---------- Title and abstract registration: 11 May 2020 (AoE) Paper submission: 15 May 2020 (AoE) Rebuttal period (48 hours): 22-23 June 2020 (AoE) Author notification: 3 July 2020 Final paper version: 21 July 2020 Conference: 8-10 Sept 2020 -------------------------------- ----- ---- ---------- Organization ------------ ------------------------- -------------------- --------------------------- Program committee chairs: Andreas Abel, Gothenburg University James Cheney, The University of Edinburgh Steering committee chair: James Cheney, The University of Edinburgh General chair: Maurizio Gabbrielli, University of Bologna ------------------------- -------------------- --------------------------- Program committee ----------------- ----------------------- ------------------------------------------------------ Andreas Abel (co-chair) Gothenburg University, SE Kenichi Asai Ochanomizu University, Tokyo, JP James Cheney (co-chair) The University of Edinburgh, UK Ugo Dal Lago University of Bologna, IT & INRIA Sophia Antipolis, FR Thom Fruehwirth University of Ulm, DE Michael Hanus Christian-Albrechts-Universität zu Kiel, DE Jacob Howe City, University of London, UK Fred Mesnard Université de la Réunion, FR Henrik Nilsson University of Nottingham, UK David Sabel Ludwig Maximilians University of Munich, DE Claudio Sacerdoti Coen University of Bologna, IT Ulrich Schöpp fortiss GmbH, DE Martin Sulzmann Karlsruhe University of Applied Sciences, DE Christine Tasson Université Paris Diderot & IRIF, FR Peter Van Roy Université catholique de Louvain, BE ----------------------- ------------------------------------------------------ From lpandolfo at uniss.it Mon May 4 13:54:20 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Mon, 4 May 2020 13:54:20 +0200 Subject: [fg-arc] [CfP - Extended Deadline] ICLP2020 - The 36th International Conference on Logic Programming Message-ID: ======================================================== *Call for Papers * *ICLP 2020 - The 36th International Conference on Logic Programming* *September 18 - September 24, 2020* *University of Calabria, Rende, Italy* *https://iclp2020.unical.it * ======================================================== *IMPORTANT HIGHLIGHTS: * *Conference online:* The conference general chairs together with the program chairs and the ALP Executive, have decided to hold ICLP2020 as a fully virtual conference on the original week. More details will be forthcoming. *Deadlines Extension:* Due to the difficult period we are all experiencing and the profound impact that this has been having on our lives and daily work we have decided to extend the submission deadline for ICLP 2020. New schedule of important dates is highlighted below: *Main Conference and Applications Track* Abstract registration (regular papers)*: May 15, 2020* Paper submission (regular paper): *May 22, 2020 * Notification to authors (regular paper): *June 26, 2020 * Paper Submission (short papers): *June 30, 2020 * Revision submission (TPLP papers): *July 13, 2020 * Final notifications (TPLP papers): *July 24, 2020 * Camera-ready copy due: *July 29, 2020 * *Research Challenges Track* Abstract registration and paper submission: *June 30, 2020 * Final notifications: *July 24, 2020* Camera-ready copy due: *July 29, 2020* *Sister Conferences and Journal Presentation Track* Abstract registration and paper submission: *June 30, 2020 * Final notifications: *July 24, 2020* Camera-ready copy due: *July 29, 2020* *Invited Speakers:* Esra Erdem - Sabanci University, Turkey Joao Marquez-Silva - ANITI, University of Toulouse, France Luc De Readt - KU Leuven, Belgium Francesca Rossi - T.J. Watson IBM Research Lab, USA ======================================================== *The Conference* The 36th International Conference on Logic Programming (ICLP 2020) will take place from the 18th September 2020 in Rende (CS), Italy. Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. *Scope* ===== Contributions are solicited in all areas of logic programming and related areas, including but not restricted to: Foundations: Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation. Declarative Programming: Inference engines, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Logic-based domain-specific languages, constraint handling rules. Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic 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, Description logics, Neural-Symbolic Machine Learning, Hybrid Deep Learning and Symbolic Reasoning. Implementation: Concurrency and distribution, Objects, Coordination, Mobility, Virtual machines, Compilation, Higher Order, Type systems, Modules, Constraint handling rules, Meta-programming, Foreign interfaces, User interfaces. Applications: Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, Education, Computational life sciences, Education, Cybersecurity, and Robotics. *Tracks and Special Sessions* ====================== Besides the main track, ICLP 2020 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. Special Session: Women in Logic Programming: This special session will include invited talks and presentations by women in logic programming. 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. Papers submitted to this track do not go through the usual review and will not be published in the proceedings – they will be distributed at the conference as a technical report. Every of the above four tracks will have its own dedicated chairs, PC, evaluation criteria, and CFP with related submission details (see the specific call for papers). In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. *Submission Details* ================= All submissions must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp20200. Regular papers must be in the condensed TPLP format (template here) 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 not be made 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 in EPTCS format (http://info.eptcs.org). Technical communications must not exceed 14 pages, including the bibliography. 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 EPTCS proceedings. This should allow authors to submit a long version elsewhere. All regular papers and technical communications will be presented during the conference. So, at least one author per accepted paper is expected to register and attend 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. -- Laura Pandolfo, Ph.D. Università degli Studi di Sassari IDEA lab - http://idea.uniss.it/ email: laura.pandolfo at uniss.it -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From david.baum at uni-leipzig.de Tue May 5 20:39:05 2020 From: david.baum at uni-leipzig.de (David Baum) Date: Tue, 05 May 2020 20:39:05 +0200 Subject: [fg-arc] CFP - VISSOFT 2020: 8th IEEE Working Conference on Software Visualization Message-ID: <2588700.4RsFj5hF0b@turing> ====================================== 8th IEEE Working Conference on Software Visualization (VISSOFT 2020) September 28-29, 2020, Adelaide, Australia http://vissoft20.dcc.uchile.cl/ ====================================== CALL FOR SUBMISSIONS Software visualization is a broad research area whose general goal is to enhance and promote the theory, realization, and evaluation of approaches to visually encode and analyze software systems, including software development practices, evolution, structure, and software runtime behavior. Software visualization is inherently interdisciplinary, drawing on theories and techniques from information visualization and computer graphics and applying these in the software engineering domain. The VISSOFT conference is a venue for publishing and discussing research related to software visualization. VISSOFT brings together a community of researchers from software engineering, information visualization, computer graphics, human-computer interaction, and data science to discuss theoretical foundations, algorithms, techniques, tools, and applications related to the visualization of software. VISSOFT 2020, co-held with ICSME 2020, encourages a variety of submissions that address outstanding challenges in software systems using visualization. This includes technical papers, empirical studies, applications, case studies, and papers that present novel ideas and tools. ====================================== TOPICS OF INTEREST - Innovative visualization and visual analytics techniques for analysis of software engineering data. This includes source code, dependencies, repositories, developer social networks such as StackOverflow and GitHub, mobile app reviews, documentation, runtime logs, and DevOps data. - Visualization to support software development activities, including design, requirements engineering, program comprehension, software testing, and debugging. - Interaction techniques and algorithms for software visualization. - Visualization-based techniques in software engineering education. - Integration of software visualization tools with development environments. - Empirical evaluation of software visualizations, including eye tracking. - Industrial experience with using software visualization. - Applications of new technologies to enhance software visualization, including virtual reality, augmented/mixed reality, gamification, and artificial intelligence. - Analytical approaches to understand software-related aspects based on data science concepts. We solicit papers that present original, unpublished research results. Papers will be rigorously reviewed by an international program committee. In addition to technical papers, VISSOFT features a New Ideas or Emerging Results (NIER) track and a Tool Demonstrations (TD) track. All accepted submissions will appear in the conference proceedings and the IEEE Digital Library. ====================================== SUBMISSION TYPES **Technical papers**: A technical paper contribution must describe an in-depth and mature research result relevant to software visualization. The content of a technical paper can be at a maximum 10 pages long (including all figures, tables, and appendices). However, the 10 page limit does not include the bibliography, which is limited by two additional pages. The submission of a video (up to 5 minutes in length) to accompany the paper is highly encouraged to show interaction possibilities. Authors who wish to submit a video can submit the video together with their paper if the size of the video is smaller than 50 MB, otherwise a URL to the video should be provided. After the notification, authors can also submit an artifact (tool, data, model, etc.) Submission link: https://easychair.org/conferences/?conf=vissoft2020 **NIER/TD Track**: The NIER/TD Track of VISSOFT accepts two types of contributions: New Ideas and Emerging Results (NIER) and Tool Demonstrations (TD). Both NIER and TD contributions have a page limit of 5 (including bibliography). NIER contributions describe work-in-progress and preliminary exciting results. Authors are encouraged to include open questions and even provocative hypotheses to get early feedback on their research ideas. A sound evaluation is not required for NIER contributions. One of the goals of the NIER Track is to foster collaboration among different research groups. Tool Demonstrations describe the design or actual utilization of software visualization tools, with a focus on the architecture of the tool or its use to gain new insights. During the conference, we will organize an informal tool demonstration session where authors of TD papers are requested to demonstrate their tools. The submission may also contain a link to a screencast (e.g., YouTube or Vimeo) to show the interaction possibilities offered by the tool. ====================================== IMPORTANT DATES Abstract submission: June 22, 2020 Technical paper submission: June 26, 2020 NIER/TD paper submission: June 26, 2020 Artifact submission: August 1, 2020 Author notification: July 24, 2020 Camera-Ready: August 7, 2020 Conference date: September 28-29, 2020 ====================================== **Statement on COVID-19 (Coronavirus)** The VISSOFT Organizing Committee is aware of the current COVID-19 situation. At this time, the conference is planned to take place as scheduled. The committee will continue monitoring conditions and will provide updates if plans change. Stay safe & we hope to see you at VISSOFT 2020! Best, Craig Anslow (General Chair) Andreas Schreiber and Takashi Ishio (Program Co-Chairs) https://twitter.com/IEEEVISSOFT From taravanis at upatras.gr Tue May 5 16:43:51 2020 From: taravanis at upatras.gr (Theofanis I. Aravanis) Date: Tue, 05 May 2020 17:43:51 +0300 Subject: [fg-arc] CFP - Recent Published Research Track (KR 2020) Message-ID: <43f2484bab7c7028d597594ed6f06bd3@upatras.gr> CALL FOR PAPERS KR 2020 -- RECENT PUBLISHED RESEARCH TRACK A special track of the 17th Conference on Principles of Knowledge Representation and Reasoning (KR2020) September 12-18th, 2020 Rhodes, Greece ------------------ Important Dates ------------------ Submission deadline: 15 June 2020 Notification: 13 July 2020 Conference dates: 12--18 September 2020 ------------------ Web site: https://kr2020.inf.unibz.it/page/recent_published_research_track (For the KR 2020 web site see https://kr2020.inf.unibz.it/ and for the KR 2020 CFP see https://kr2020.inf.unibz.it/page/call_for_papers.) We invite submissions of abstracts of papers previously published in journals and conference proceedings for the Recent Published Research Track. The track is designed to provide a forum to discuss recent research on topics related to KR that may not be immediately familiar or easily accessible to the KR community. The track seeks papers that fall into one or both of the following two categories: 1) Papers that -- connect KR to other areas of AI and to other areas of computer science such as database theory, game theory, social choice, logic and philosophy; -- connect KR to areas that make use of KR, such as multi-agent systems, planning, natural language understanding; or -- go beyond the commonly-understood boundaries of KR. 2) Papers that are strongly related to KR and -- have been published in journals but have not been presented at workshops or conferences; -- have been presented at workshops or conferences that are not typically attended by the KR community; or -- have been accepted at general high-profile AI conferences such as IJCAI, ECAI, or AAAI, where the time allotted has not allowed for full discussion of all key aspects of the paper. SUBMISSION GUIDELINES: Authors should supply the following materials: -- A cover page (single page) listing the title, the authors, a full reference to the original paper, and a public or privately accessible url from which the paper can be downloaded. -- A one-page (preferred) and no more than two-page extended abstract of the paper following the format for regular paper KR 2020 submissions. The abstract should present the main contributions of the paper, discuss the relevance of the paper to KR, and explain the significance of the results. A single pdf file with the materials should be submitted to the KR submission site at EasyChair: https://easychair.org/conferences/?conf=kr2020. The authors should mark the submission as Recent Published Research. Submissions must meet the following criteria: a. Candidate papers must have been published in a journal or a conference proceedings in 2018 or later. b. Papers that are in press may be submitted as long as the final camera-ready version is available. c. Extensions of papers that have been previously presented at a KR conference are not eligible for this track. Extended abstracts of the accepted papers will be linked from the conference web site. Authors of accepted papers will present their work, focussing on its significance and relevance to KR. Significant time will be allocated for discussion of the interdisciplinary aspects of the work and its potential impact on the future research opportunities for KR. PROGRAM COMMITTEE: Pedro Cabalar (Corunna University, Spain) Jim Delgrande (Simon Fraser University, Canada) co-chair Wiebe van der Hoek (University of Liverpool, UK) Hector Geffner (Universitat Pompeu Fabra, Spain) Andreas Herzig (Université Paul Sabatier, France) Gerhard Lakemeyer (Aachen University, Germany) Jerome Lang (Université Paris-Dauphine, France) Yulia Lierler (University of Nebraska at Omaha, USA) Fangzhen Lin (Hong Kong University of Science and Technology, Hong Kong) Carsten Lutz (University of Bremen, Germany) Jochen Renz (Australian National University, Australia) Francesca Toni (Imperial College, UK) Leon van der Torre (University of Luxembourg) Mirek Truszczynski (University of Kentucky, USA) co-chair Brent Venable (Tulane University, USA) Toby Walsh (University of New South Wales, Australia) For any questions regarding suitability of a submission or of any other aspect of the track, please email the special track program co-chairs: Jim Delgrande, jim at cs.sfu.ca Mirek Truszczynski, mirektruszczynski at gmail.com From Cassia.Trojahn at irit.fr Wed May 6 10:52:46 2020 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Wed, 06 May 2020 10:52:46 +0200 Subject: [fg-arc] =?utf-8?b?W1ZpcnR1YWw/PT0/dXRmLTg/cT8gT00tMjAyMF0gMXN0?= =?utf-8?q?_CFP=3A_15th_workshop_on_Ontology_Matching_collocated_with_ISWC?= Message-ID: <491d-5eb27b00-9b1-7e0f5c8@20634425> ** Apologies for multiple postings ** ------------------------------------------------------------------------------ CALL FOR CONTRIBUTIONS THE SUBMISSION DEADLINE IS ON AUGUST 10TH, 2020 ------------------------------------------------------------------------------ The Fifteenth International Workshop on ONTOLOGY MATCHING (OM-2020) http://om2020.ontologymatching.org/ November 2nd or 3rd, 2020, International Semantic Web Conference (ISWC) Workshop Program, VIRTUAL CONFERENCE BRIEF DESCRIPTION AND OBJECTIVES Ontology matching is a key interoperability enabler for the Semantic Web, as well as a useful technique in some classical data integration tasks dealing with the semantic heterogeneity problem. It takes ontologies as input and determines as output an alignment, that is, a set of correspondences between the semantically related entities of those ontologies. These correspondences can be used for various tasks, such as ontology merging, data interlinking, query answering or navigation over knowledge graphs. Thus, matching ontologies enables the knowledge and data expressed with the matched ontologies to interoperate. The workshop has three goals: 1. To bring together leaders from academia, industry and user institutions to assess how academic advances are addressing real-world requirements. The workshop will strive to improve academic awareness of industrial and final user needs, and therefore, direct research towards those needs. Simultaneously, the workshop will serve to inform industry and user representatives about existing research efforts that may meet their requirements. The workshop will also investigate how the ontology matching technology is going to evolve, especially with respect to data interlinking, knowledge graph and web table matching tasks. 2. To conduct an extensive and rigorous evaluation of ontology matching and instance matching (link discovery) approaches through the OAEI (Ontology Alignment Evaluation Initiative) 2020 campaign: http://oaei.ontologymatching.org/2020/ 3. To examine similarities and differences from other, old, new and emerging, techniques and usages, such as web table matching or knowledge embeddings. This year, in sync with the main conference, we encourage submissions specifically devoted to: (i) datasets, benchmarks and replication studies, services, software, methodologies, protocols and measures (not necessarily related to OAEI), and (ii) application of the matching technology in real-life scenarios and assessment of its usefulness to the final users. TOPICS of interest include but are not limited to: Business and use cases for matching (e.g., big, open, closed data); Requirements to matching from specific application scenarios (e.g., public sector, homeland security); Application of matching techniques in real-world scenarios (e.g., in cloud, with mobile apps); Formal foundations and frameworks for matching; Novel matching methods, including link prediction, ontology-based access; Matching and knowledge graphs; Matching and deep learning; Matching and embeddings; Matching and big data; Matching and linked data; Instance matching, data interlinking and relations between them; Privacy-aware matching; Process model matching; Large-scale and efficient matching techniques; Matcher selection, combination and tuning; User involvement (including both technical and organizational aspects); Explanations in matching; Social and collaborative matching; Uncertainty in matching; Expressive alignments; Reasoning with alignments; Alignment coherence and debugging; Alignment management; Matching for traditional applications (e.g., data science); Matching for emerging applications (e.g., web tables, knowledge graphs). SUBMISSIONS Contributions to the workshop can be made in terms of technical papers and posters/statements of interest addressing different issues of ontology matching as well as participating in the OAEI 2020 campaign. Long technical papers should be of max. 12 pages. Short technical papers should be of max. 5 pages. Posters/statements of interest should not exceed 2 pages. All contributions have to be prepared using the LNCS Style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 and should be submitted in PDF format (no later than August 10th, 2020) through the workshop submission site at: https://www.easychair.org/conferences/?conf=om2020 Contributors to the OAEI 2020 campaign have to follow the campaign conditions and schedule at http://oaei.ontologymatching.org/2020/. DATES FOR TECHNICAL PAPERS AND POSTERS: August 10th, 2020: Deadline for the submission of papers. September 11th, 2020: Deadline for the notification of acceptance/rejection. September 21st, 2020: Workshop camera ready copy submission. November 2nd or 3rd, 2020: OM-2020, Virtual Conference. Contributions will be refereed by the Program Committee. Accepted papers will be published in the workshop proceedings as a volume of CEUR-WS as well as indexed on DBLP. ORGANIZING COMMITTEE 1. Pavel Shvaiko (main contact) Trentino Digitale, Italy 2. Jérôme Euzenat INRIA & Univ. Grenoble Alpes, France 3. Ernesto Jiménez-Ruiz City, University of London, UK & SIRIUS, University of Oslo, Norway 4. Oktie Hassanzadeh IBM Research, USA 5. Cássia Trojahn IRIT, France PROGRAM COMMITTEE (to be completed): Alsayed Algergawy, Jena University, Germany Manuel Atencia, INRIA & Univ. Grenoble Alpes, France Zohra Bellahsene, LIRMM, France Jiaoyan Chen, University of Oxford, UK Valerie Cross, Miami University, USA Jérôme David, University Grenoble Alpes & INRIA, France Daniel Faria, Instituto Gulbenkian de Ciéncia, Portugal Alfio Ferrara, University of Milan, Italy Marko Gulic, University of Rijeka, Croatia Wei Hu, Nanjing University, China Ryutaro Ichise, National Institute of Informatics, Japan Antoine Isaac, Vrije Universiteit Amsterdam & Europeana, Netherlands Naouel Karam, Fraunhofer, Germany Prodromos Kolyvakis, EPFL, Switzerland Patrick Lambrix, Linköpings Universitet, Sweden Oliver Lehmberg, University of Mannheim, Germany Majeed Mohammadi, TU Delft, Netherlands Peter Mork, MITRE, USA Andriy Nikolov, Metaphacts GmbH, Germany George Papadakis, University of Athens, Greece Catia Pesquita, University of Lisbon, Portugal Henry Rosales-Méndez, University of Chile, Chile Kavitha Srinivas, IBM, USA Giorgos Stoilos, Huawei Technologies, Greece Pedro Szekely, University of Southern California, USA Ludger van Elst, DFKI, Germany Xingsi Xue, Fujian University of Technology, China Ondrej Zamazal, Prague University of Economics, Czech Republic Songmao Zhang, Chinese Academy of Sciences, China ------------------------------------------------------- More about ontology matching: http://www.ontologymatching.org/ http://book.ontologymatching.org/ ------------------------------------------------------- Best regards, Cassia Trojahn ------- Assistant professor Université de Toulouse 2, France From cfp at mat.unical.it Tue May 5 11:46:16 2020 From: cfp at mat.unical.it (cfp at mat.unical.it) Date: Tue, 5 May 2020 11:46:16 +0200 Subject: [fg-arc] CILC 2020 - First Call For Papers In-Reply-To: <5e7e3916afeb8bace5f3cbdd8b1eb0df.squirrel@www.mat.unical.it> References: <5e7e3916afeb8bace5f3cbdd8b1eb0df.squirrel@www.mat.unical.it> Message-ID: <331d244b5af1a3b2f9c53bb99a141d38.squirrel@www.mat.unical.it> [apologies for multiple copies] ================================================================================== 35th Italian Conference on Computational Logic (CILC 2020) 24-25 September 2020, Rende, Italy https://cilc2020.demacs.unical.it/ CO-LOCATED with the 36th International Conference on Logic Programming (ICLP 2020) ================================================================================== = COVID-19 SITUATION = This year's edition will be the 35th in the series of an event that is traditionally important for the community. Given to the evolving COVID-19 situation worldwide, the Conference chairs and the GULP Executives decided to hold CILC 2020 as a fully virtual conference, very likely in the same original dates. More details will be announced soon. Please check https://cilc2020.demacs.unical.it/ regularly for news and details. = FIRST CALL FOR PAPERS = Due to the difficult period we are all experiencing and the profound impact that this has been having on our lives and work, we have decided to extend the deadlines. == Important Dates (UPDATE) == Paper submission: July 12, 2020 Notification to authors: July 28, 2020 Camera-ready copy due: September 3, 2020 Main Conference starts: September 24, 2020   = The Conference = CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, http://www.programmazionelogica.it/). Its 35th edition will be held in Cosenza (Italy) on September 24-25, 2020. Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases. = Contributions = The conference will feature presentations of refereed contributions, including the demonstration of software prototypes, concerning all aspects of computational logic. The conference invites two types of submissions: * full papers, possibly already submitted to other conferences or journals * short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. The topics of interest include, but are not limited to, the following: - Logic Programming, Constraint Programming and other paradigms of declarative programming - Extensions and integrations of declarative programming paradigms - Analysis, transformation, validation, and verification of programs - Instruments and environments for program development - Implementations and benchmarking - Model Checking - Temporal logics - Automated Theorem Proving - Non-Monotonic Reasoning - Answer Set Programming - Knowledge representation and extraction - Treatment of uncertain and incomplete knowledge - Approximate Reasoning - Abductive Logic Programming - Model-based Reasoning - Deductive Databases - Data Mining and Data Integration - Multi-agent systems - Logics for strategic reasoning - Semantic Web - Natural Language Processing - Computational logic for concurrency, coordination, mobility and objects - Planning and scheduling - Probabilistic Logic Programming - Computational Logic and formal methods in Artificial Intelligence - Applications of Computational Logic - Pedagogy of Computational Logic - Applications of Computational Logic - Inductive Logic Programming - Computational Logic and Machine Learning In particular, we also invite submissions of system or prototype software descriptions which use techniques or tools of computational logic, or which themselves aid the development of applications based on computational logic. Systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. = Submission Details = Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=cilc20200 Articles must not exceed 15 pages for full papers and 8 pages for short papers, respectively. Manuscripts should be formatted using the Springer LNCS style. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. For each accepted contribution, at least one of the authors is required to register to the conference and present the paper according to directions that will be made public by the organizers, taking into account the "virtual" nature of this year's event. The event is organized by GULP; therefore, Italian attendants are required to be members of GULP (it is possible to join GULP contextually to the conference). = Proceedings and Journal Special Issue = All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the conference web site including a link to the original publication, if already published. In the trail of the CILC tradition, we plan to publish a selection of the papers in a SPECIAL ISSUE of an international journal (to be determined). Extensions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. = Committees = == General Chairs == * Francesco Calimeri – University of Calabria, Italy * Simona Perri - University of Calabria, Italy * Ester Zumpano - University of Calabria, Italy == Program Committee == * Mario Alviano, Università della Calabria * Roberto Amadini, University of Melbourne * Matteo Baldoni, Università di Torino * Stefano  Bistarelli, Università di Perugia * Loris Bozzato, Fondazione Bruno Kessler * Roberta Calegari, Università di Bologna * Domenico Cantone, Università di Catania * Alberto Casagrande, Università degli Studi di Trieste * Emanuele De Angelis, IASI-CNR di Roma * Giovanni De Gasperis, Università dell’Aquila * Dario Della Monica, University of Udine * Giorgio Delzanno, Università di Genova * Wolfgang Faber, Alpen-Adria-Universität Klagenfurt * Fabio Fioravanti, Università di Chieti - Pescara * Andrea Formisano, Università di Perugia * Silvio Ghilardi, Università degli Studi di Milano * Laura Giordano, Università del Piemonte Orientale * Evelina Lamma, Università di Ferrara * Francesca A. Lisi, Università di Bari * Marco Manna, Università della Calabria * Marco Maratea, Università degli Studi di Genova * Paola Mello, Università di Bologna * Marco Montali, Free University of Bozen-Bolzano * Angelo Montanari, Università di Udine * Andrea Pazienza, Exprivia | Italtel Innovation Lab * Rafael Peñaloza, Università degli Studi di Milano-Bicocca * Adriano Peron, Università di Napoli * Maurizio Proietti, IASI-CNR Roma * Luca Pulina, Università di Sassari * Francesco Ricca, Università della Calabria * Andrey Rivkin, Libera Università di Bolzano * Gianfranco Rossi, Università di Parma * Sabina Rossi, Università di Venezia * Pietro Sala, Università di Verona * Umberto Straccia, ISTI-CNR From franconi at inf.unibz.it Tue May 5 18:44:54 2020 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Tue, 05 May 2020 18:44:54 +0200 Subject: [fg-arc] KRDB Summer Online Seminars - a series of 21 seminars to attend online Message-ID: <05052020184454832GGh77pfXqRRd0275@smtp.office365.com> -------------- next part -------------- An HTML attachment was scrubbed... URL: From fm-announcements at lists.nasa.gov Tue May 5 20:23:49 2020 From: fm-announcements at lists.nasa.gov (Mavridou, Anastasia (ARC-TI)[KBR Wyle Services, LLC] via fm-announcements) Date: Tue, 5 May 2020 18:23:49 +0000 Subject: [fg-arc] [fm-announcements] Call for Participation - 12th NASA Formal Methods Symposium (NFM2020) Message-ID: <6CA58DC5-633A-4BBC-B1D6-1EF07416DE20@nasa.gov> ********************************************************************************* The 12th NASA Formal Methods Symposium (NFM2020) https://ti.arc.nasa.gov/events/nfm-2020/ NFM2020 is virtual and organized by the NASA Ames Research Center, Moffett Field, CA, USA May 11-15, 2020 ********************************************************************************* * There is no registration fee! * Virtual Symposium ------------------------- Due to concerns about COVID-19, NFM 2020 is going virtual. We invite the formal methods and aligned communities to use this opportunity of a virtual symposium to participate and engage in a very exciting set of paper presentations and fascinating keynote talks. Theme of the Symposium: ----------------------------------- The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and the industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. New developments and emerging applications like autonomous on-board Software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. The focus of these symposiums are on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Steering Committee, comprised of researchers spanning several NASA centers. NFM 2020 is being organized by the NASA Ames Research Center in Moffett Field, CA. More information about past NFM Symposiums can be found here: https://shemesh.larc.nasa.gov/NFM/ Registration: ----------------- There is no registration fee charged to participants. All interested individuals are welcome to attend; however, all attendees must register: https://ti.arc.nasa.gov/events/nfm-2020/registration/ Keynote Speakers: ------------------------- * Léonard Bouygues (Google Loon) * Byron Cook (Amazon Web Services, University College London) * David Dill (Facebook, Stanford University) * Dana Schulze (National Transportation Safety Board) * Sanjit Seshia (University of California Berkeley) * Vandi Verma (NASA Jet Propulsion Laboratory) NFM2020 Program & Workshops -------------------------------------------- Please see the program here: https://ti.arc.nasa.gov/events/nfm-2020/program/ This year there the following two workshops will be virtually hosted with NFM2020: * AI Safety Workshop, Monday May 11th, 2020. Confirmed speakers: * Clark Barrett (Stanford University) * Kamalika Chaudhuri (University of California, San Diego) * Krishnamurthy Dvijotham (DeepMind) * Suman Jana (Columbia University) * Nils Jansen (Radboud University Nijmegen) * Mykel Kochenderfer (Stanford University) * Andreas Krause (ETH) * Changliu Liu (Carnegie Mellon University) * James Lopez (GE Research) * Dorsa Sadigh (Stanford University) * Sriram Sankaranarayanan (University of Colorado at Boulder) * Iain Whiteside (Five AI) https://sites.google.com/stanford.edu/nfm-ai-safety-20/ * Cryptographic Proofs Workshop, Friday 15th 2020 https://fmcpworkshop.onai.com/ Organizers: --------------- * Dimitra Giannakopoulou (General co-Chair) * Anastasia Mavridou (General co-Chair) * Ritchie Lee (PC co-Chair) * Susmit Jha (PC co-Chair) * Hamza Bourbouh (Local Organization) * Maxime Arthaud (Local Organization) -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From lpandolfo at uniss.it Fri May 8 15:17:17 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Fri, 8 May 2020 15:17:17 +0200 Subject: [fg-arc] [CfP] ICLP 2020 - Deadline Approaching - *One week left* to submit your abstracts Message-ID: ======================================================== *Call for Papers** **ICLP 2020 - The 36th International Conference on Logic Programming** **September 18 - September 24, 2020** **University of Calabria, Rende, Italy** **https://iclp2020.unical.it * ======================================================== *IMPORTANT HIGHLIGHTS:** ** **Conference online:* The conference general chairs together with the program chairs and the ALP Executive, have decided to hold ICLP2020 as a fully virtual conference on the original week. More details will be forthcoming. *Deadlines Extension:* Due to the difficult period we are all experiencing and the profound impact that this has been having on our lives and daily work we have decided to extend the submission deadline for ICLP 2020. New schedule of important dates is highlighted below: *Main Conference and Applications Track*     Abstract registration (regular papers)*: May 15, 2020*     Paper submission (regular paper): *May 22, 2020 *     Notification to authors (regular paper): *June 26, 2020*     Paper Submission (short papers): *June 30, 2020*     Revision submission (TPLP papers): *July 13, 2020*     Final notifications (TPLP papers): *July 24, 2020*     Camera-ready copy due: *July 29, 2020 * *Research Challenges Track*     Abstract registration and paper submission: *June 30, 2020*     Final notifications: *July 24, 2020*     Camera-ready copy due: *July 29, 2020* *Sister Conferences and Journal Presentation Track*     Abstract registration and paper submission: *June 30, 2020*     Final notifications: *July 24, 2020*     Camera-ready copy due: *July 29, 2020* *Invited Speakers:* Esra Erdem - Sabanci University, Turkey Joao Marquez-Silva -  ANITI, University of Toulouse, France Luc De Readt - KU Leuven, Belgium Francesca Rossi - T.J. Watson IBM Research Lab, USA ============================== ========================== *The Conference* The 36th International Conference on Logic Programming (ICLP 2020) will take place from the 18th September 2020 in Rende (CS), Italy. Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. *Scope* ===== Contributions are solicited in all areas of logic programming and related areas, including but not restricted to: Foundations: Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation. Declarative Programming: Inference engines, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Logic-based domain-specific languages, constraint handling rules. Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic 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, Description logics, Neural-Symbolic Machine Learning, Hybrid Deep Learning and Symbolic Reasoning. Implementation: Concurrency and distribution, Objects, Coordination, Mobility, Virtual machines, Compilation, Higher Order, Type systems, Modules, Constraint handling rules, Meta-programming, Foreign interfaces, User interfaces. Applications: Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, Education, Computational life sciences, Education, Cybersecurity, and Robotics. *Tracks and Special Sessions* ====================== Besides the main track, ICLP 2020 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. Special Session: Women in Logic Programming: This special session will include invited talks and presentations by women in logic programming. 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. Papers submitted to this track do not go through the usual review and will not be published in the proceedings – they will be distributed at the conference as a technical report. Every of the above four tracks will have its own dedicated chairs, PC, evaluation criteria, and CFP with related submission details (see the specific call for papers). In addition to the presentations of accepted papers, the technical program will  include invited talks, advanced tutorials, the doctoral consortium, and several workshops. *Submission Details* ================= All submissions must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp20200 . Regular papers must be in the condensed TPLP format (template here) 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 not be made 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 in EPTCS format (http://info.eptcs.org ). Technical communications must not exceed 14 pages, including the bibliography. 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 EPTCS proceedings. This should allow authors to submit a long version elsewhere. All regular papers and technical communications will be presented during the  conference. So, at least one author per accepted paper is expected to register and  attend 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. -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From stefano.forti at di.unipi.it Fri May 8 13:34:41 2020 From: stefano.forti at di.unipi.it (Stefano Forti) Date: Fri, 8 May 2020 13:34:41 +0200 Subject: [fg-arc] WETICE 2020 - Second Round CFP Message-ID: <001301d6252c$ac1a1eb0$044e5c10$@di.unipi.it> ================================================================== WETICE 2020 The 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises 9-11 June 2021, Basque Coast - Bayonne, France Website: http://wetice2020.org ================================================================== The safety and well-being of all conference participants is our priority. After studying and evaluating the announcements, guidance, and news released by relevant national departments, we announce that 2020 edition of WETICE will be maintained as visual conference. WETICE 2021 will be held in the same venue. The International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE (http://wetice2020.org) is an international conference on the state-of-theart research in enabling technologies for collaboration, consisting of several conference tracks. Second-round process • Submission deadline: July 15, 2020 • Notification to authors: August 15, 2020 • Camera-ready deadline: September 10, 2020 • Authors registration deadline: September 10, 2020 Context and Scope The International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE is an international conference on the state-of-the-art research in enabling technologies for collaboration, consisting of several conference tracks. The 29th WETICE edition will be held on June 2021 in Bayonne (French Basque country), France. With the presence of internationally distinguished keynote speakers: • Barbara Pernici, Politecnico di Milano, Italy • Sabri Skhiri, Eura Nova, Belgium • Luigi Atzori, University of Cagliari, Italy WETICE topics of interest include but are not limited to: * Cloud-Based Collaborative Technologies in IoT * Adaptive and Reconfigurable Systems and Architectures * Complex Networks Monitoring, Security and Fraud Detection for Enterprises * Convergence of Distributed Clouds, Grids and their Management * Data Exploration in the Web 3.0 Age * Collaborative Software Processes * Formal Verification of Service Based Systems * Future Internet Services and Applications * Semantic Technologies in Smart Information Sharing and Web Collaboration * Security, Safety and Trust Management List of Tracks • Adaptive Computing (and Agents) for Enhanced Collaboration • Adaptive and Reconfigurable Systems and Architectures • Convergence of Distributed Clouds, Grids and their Management • Collaborative Modeling & Simulation • Complex Networks Monitoring and Security and Fraud Detection for Enterprises • Future Internet Services and Applications • Security, Safety and Trust Management • Validating Software for Critical Systems • Semantic Technologies for Smart Information Sharing and Web Collaboration • Smart Living Space Manuscript Guidelines and Submission Papers up to six (6) pages (including figures, tables and references) should contain original contributions not published or submitted elsewhere and are to be formatted according to the IEEE template. Accepted papers will be included in the proceedings published by the IEEE Computer Society Press and will be archived in the IEEE digital library. The page limit for Full papers is 6 pages. No extra pages are allowed. The page limit for Short papers is 4 pages. No extra pages are allowed. At least one author for each accepted paper should register and attend WETICE 2020 to have the paper published in the proceedings. Papers should be submitted through the EasyChair platform using the following link: https://easychair.org/conferences/?conf=wetice2020 ================================================================== General Chairs Ernesto Exposito, Université de Pau et des Pays de l’Adour, France Khalil Drira, LAAS-CNRS, France Program Chairs Stefania Monica, Università degli Studi di Parma, Italy Sami Yangui, LAAS-CNRS, France ================================================================== -------------- next part -------------- An HTML attachment was scrubbed... URL: From andreas.abel at ifi.lmu.de Tue May 12 18:55:05 2020 From: andreas.abel at ifi.lmu.de (Andreas Abel) Date: Tue, 12 May 2020 18:55:05 +0200 Subject: [fg-arc] PPDP 2020 deadline extension Message-ID: UPDATE: extended deadlines! Abstract deadline: Mon 18 May 2020 AoE Paper deadline: Fri 22 May 2020 AoE Submissions at: https://easychair.org/conferences/?conf=ppdp2020 PPDP 2020 Call For Papers ========================= The 22nd International Symposium on Principles and Practice of Declarative Programming, [PPDP 2020](http://www.cse.chalmers.se/~abela/ppdp20/), hosted 8-10 September 2020 by the University of Bologna, Italy. **Due to the COVID-19 pandemic, PPDP 2020 will take place online. The submission, review, and publication process is unaffected. However, the deadlines have been extended by a week to accommodate for the situation.** Scope ----- The PPDP 2020 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to: - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; functional languages; reactive languages; languages with objects; languages for quantum computing; languages inspired by biological and chemical computation; metaprogramming. - Declarative languages in artificial intelligence: logic programming; database languages; knowledge representation languages; probabilistic languages; differentiable languages. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair will be happy to advise on the appropriateness of a topic. PPDP will take place 8-10 September 2020 virtually hosted by the University of Bologna, Italy, co-organized with the 29th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2020) and the International conference on [Microservices 2020](https://www.conf-micro.services/2020/). Submissions ----------- Submissions are welcome on easychair at https://easychair.org/conferences/?conf=ppdp2020 Submission Categories --------------------- Submissions can be made in three categories: - regular Research Papers, - System Descriptions, and - Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: - insights gained from real-world projects using declarative programming - comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum - curricular issues encountered when using declarative programming in education - real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general - novel use of declarative programming in the classroom - programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided via a link to an extended version of the submission (recommended), or in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study extended versions or any material beyond the respective page limit. Material beyond the page limit will not be included in the final published version. Format of a submission ---------------------- For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at . The most recent version at the time of writing is 1.70. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact [ACM's TeX support team at Aptara](mailto:acmtexsupport at aptaracorp.com). Authors should note [ACM's statement on author's rights](http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of [ACM's plagiarism policy](http://www.acm.org/publications/policies/plagiarism_policy). Requirements for publication ---------------------------- **Due to the shift to an online event, registration fees will be decreased to cover only the costs of publication and online event hosting.** At least one author of each accepted submission will be expected to register and present the work at the conference. The PC chair may retract a paper that is not presented. The PC chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Important dates --------------- The organizers appreciate that potential authors may be disadvantaged by the COVID-19 pandemic and resulting disruption. **To encourage submissions, short extensions are available on request.** To request an extension, please register an abstract before the abstract deadline and write to the PC chair before the submission deadline explaining the circumstances and duration of the extension. -------------------------------- ----- ---- ---------- Title and abstract (extended): 18 May 2020 (AoE) Paper submission (extended): 22 May 2020 (AoE) Rebuttal period (48 hours): 22-23 June 2020 (AoE) Author notification: 3 July 2020 Final paper version: 21 July 2020 Conference: 8-10 Sept 2020 -------------------------------- ----- ---- ---------- Organization ------------ ------------------------- -------------------- --------------------------- Program committee chairs: Andreas Abel, Gothenburg University James Cheney, The University of Edinburgh Steering committee chair: James Cheney, The University of Edinburgh General chair: Maurizio Gabbrielli, University of Bologna ------------------------- -------------------- --------------------------- Program committee ----------------- ----------------------- ------------------------------------------------------ Andreas Abel (co-chair) Gothenburg University, SE Kenichi Asai Ochanomizu University, Tokyo, JP James Cheney (co-chair) The University of Edinburgh, UK Ugo Dal Lago University of Bologna, IT & INRIA Sophia Antipolis, FR Thom Fruehwirth University of Ulm, DE Michael Hanus Christian-Albrechts-Universität zu Kiel, DE Jacob Howe City, University of London, UK Fred Mesnard Université de la Réunion, FR Henrik Nilsson University of Nottingham, UK David Sabel Ludwig Maximilians University of Munich, DE Claudio Sacerdoti Coen University of Bologna, IT Ulrich Schöpp fortiss GmbH, DE Martin Sulzmann Karlsruhe University of Applied Sciences, DE Christine Tasson Université Paris Diderot & IRIF, FR Peter Van Roy Université catholique de Louvain, BE ----------------------- ------------------------------------------------------ From woortwijn at inf.ethz.ch Mon May 18 14:26:31 2020 From: woortwijn at inf.ethz.ch (Oortwijn Wytse) Date: Mon, 18 May 2020 12:26:31 +0000 Subject: [fg-arc] FTfJP 2020 (virtual): Second CFP Message-ID: # SECOND CALL FOR PAPERS Submission deadline: Friday 5 June (AoE) 22st Workshop on Formal Techniques for Java-like Programs (FTfJP 2020) https://2020.ecoop.org/track/FTfJP-2020-papers FTfJP will be virtual this year and is expected to be in mid July. ## About FTfJP 2020 (virtual) Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in this space are continually arising, resulting in new programming languages (PL) research challenges. Work on formal techniques and tools and on the formal underpinnings of programming languages themselves naturally complement each other. FTfJP is an established workshop which has run annually since 1999 alongside ECOOP, with the goal of bringing together people working in both fields. The workshop has a broad PL theme; the most important criterion is that submissions will generate interesting discussions within this community. The term “Java-like” is somewhat historic and should be interpreted broadly: FTfJP solicits and welcomes submission relating to programming languages in general, beyond Java, C#, Scala, etc. Example topics of interest include: * Language design and semantics * Type systems * Concurrency and new application domains * Specification and verification of program properties * Program analysis (static or dynamic) * Program synthesis * Security * Pearls (programs or proofs) FTfJP welcomes submissions on technical contributions, case studies, experience reports, challenge proposals, and position papers. ## Submissions Contributions are sought in two categories: * Full Papers (6 pages, excluding references) present a technical contribution, case study, or detailed experience report. We welcome both complete and incomplete technical results; ongoing work is particularly welcome, provided it is substantial enough to stimulate interesting discussions. * Short Papers (2 pages, excluding references) should advocate a promising research direction, or otherwise present a position likely to stimulate discussion at the workshop. We encourage e.g. established researchers to set out a personal vision, and beginning researchers to present a planned path to a PhD. Both types of contributions will benefit from feedback received at the workshop. Submissions will be peer reviewed, and will be evaluated based on their clarity and their potential to generate interesting discussions. The format of the workshop encourages interaction. FTfJP is a forum in which a wide range of people share their expertise, from experienced researchers to beginning PhD students. ## Formatting and Publication Submissions should be in acmart/sigplan style, 10pt font. Formatting requirements are detailed on the SIGPLAN Author Information page (https://www.sigplan.org/Resources/Author). Accepted papers will be published in the ACM Digital Library by default, though authors will be able to opt out of this publication, if desired. At least one author of an accepted paper must attend the workshop to present the work and participate in the discussions. ## Important Dates * Submission: June 5th (AoE) * Notification: July 3th ## Program Committee * Wolfgang Ahrendt (Chalmers University, Sweden) * Petra van den Bos (University of Twente, the Netherlands) * Marie Farrell (University of Liverpool, UK) * Paula Herber (University of Munster, Germany) * Nikolai Kosmatov (CEA LIST, France) * James Noble (Victoria University of Wellington, New Zealand) * Violet Ka I Pun (University of Oslo, Norway) * John Singleton (University of Central Florida, USA) * Mattias Ulbrich (KIT, Germany) * Anton Wijs (Eindhoven University, the Netherlands) * Elena Zucca (University of Genova, Italy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpandolfo at uniss.it Mon May 18 18:41:22 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Mon, 18 May 2020 18:41:22 +0200 Subject: [fg-arc] [Final CFP and Updated Schedule] ICLP 2020 - The 36th International Conference on Logic Programming Message-ID: ======================================================== *FINAL CALL FOR PAPERS – Updated schedule* ** *ICLP 2020 - The 36th International Conference on Logic Programming September 18 - September 24, 2020 University of Calabria, Rende, Italy **https://iclp2020.unical.it* ======================================================== *IMPORTANT HIGHLIGHTS: Conference online:* The conference general chairs together with the program chairs and the ALP Executive, have decided to hold ICLP2020 as a fully virtual conference on the original week. More details will be forthcoming. *Deadlines Extension:* Due to the difficult period we are all experiencing and the profound impact that this has been having on our lives and daily work we have decided to extend the submission deadline for ICLP 2020 special tracks. New schedule of important dates is highlighted below: *Applications Track and Woman in Logic Programming* Abstract registration (regular papers, including TPLP papers): *June 3, 2020* Paper submission (regular paper): *June 5, 2020 * Final notifications (All paper kinds): *July 30, 2020 * Camera-ready copy due: *August 6, 2020* *Research Challenges Track and Journal Presentation Track* Abstract registration and paper submission: *July 12, 2020* Final notifications: *July 30, 2020* Camera-ready copy due: *August 6, 2020* Abstract registration of regular papers to the main track is now closed. ======================================================== *The Conference* The 36th International Conference on Logic Programming (ICLP 2020) will take place from the 18th September 2020 in Rende (CS), Italy. Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. *Scope* ===== Contributions are solicited in all areas of logic programming and related areas, including but not restricted to: -*Foundations:* Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation. -*Declarative Programming:*Inference engines, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Logic-based domain-specific languages, constraint handling rules. -*Related Paradigms and Synergies:*Inductive and Co-inductive Logic Programming, Constraint Logic 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, Description logics, Neural-Symbolic Machine Learning, Hybrid Deep Learning and Symbolic Reasoning. -*Implementation:*Concurrency and distribution, Objects, Coordination, Mobility, Virtual machines, Compilation, Higher Order, Type systems, Modules, Constraint handling rules, Meta-programming, Foreign interfaces, User interfaces. -*Applications:*Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, Education, Computational life sciences, Education, Cybersecurity, and Robotics. *Tracks and Special Sessions* ====================== Besides the main track, ICLP 2020 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. *Paper Types:*Regular paper (including TPLP Papers), Short Paper. -*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 confere­­­nces but have not been previously presented at ICLP.*Paper Type:* Paper published in other main venue. -*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. Papers submitted to this track do not go through the usual review and will not be published in the proceedings – they will be distributed at the conference as a technical report. *Paper Type:*Short paper. -*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. Contributions are solicited in all areas of logic programming and related areas, with a special focus on applications that are beneficial to society in the large, and to the role of women in society in particular. *Paper Types:*Regular paper (including TPLP Papers), Short Paper. *Submission Details* ================= All submissions must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp20200. Each ICLP2020 Track has its own submission rules, please check the dedicated CFP in our website for more details: https://iclp2020.unical.it/calls All papers will be presented during the conference. So, at least one author per accepted paper is expected to register and attend remotely 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. -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From cesar.sanchez at imdea.org Mon May 18 19:40:46 2020 From: cesar.sanchez at imdea.org (Cesar Sanchez) Date: Mon, 18 May 2020 19:40:46 +0200 Subject: [fg-arc] Post-doc openings at the IMDEA Software Institute Message-ID: <20200518174046.GA23253@cesar.local> From: Cesar Sanchez To: fg-arc at lists.uni-paderborn.de Cc: Bcc: Cesar Sanchez Subject: Post-doc openings at the IMDEA Software Institute Reply-To: The IMDEA Software Institute, Madrid, Spain invites applications for a postdoc position starting in August, 2020 on program analysis and software testing. Selected candidates will work in an exciting project building program analysis techniques for actual aerospace on-board embedded software, together with a team of researchers from IMDEA, including Alessandra Gorla, Jose Francisco Morales, Cesar Sanchez and Fernando Macías. The goal of the project is: - to improve automated and semi-automated unit testing, applying techniques from program analysis to directed, random and concolic testing, etc - to design specification languages for describing test oracles and their integration within the testing infrastructure - the empirical evaluation against existing mission software Real software is provided by the industrial partners in the project, who will also validate the techniques and artifacts produced. This project is in the context of the project "Madrid Flight on Chip" (MFOC) https://flightonchip.es/ project to support the development and assess our research techniques. ** Who should apply? ** Applicants should have a PhD in computer science with proven top programming and problem solving skills. We will value experience in the following fields: software engineering; program analysis, design and implementation; formal methods; model-based engineering. ** Working at IMDEA Software ** The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel expenses and an internationally competitive stipend. The working language at the institute is English. The working spirit IMDEA Software Institute and the research group provide a flexible working environment which allows to accommodate local and remote working possibilities. ** Dates ** The position is intended for a minimum of 2 years. The ideal starting period is August 2020. ** How to apply? ** Applicants interested in the position should submit their application at https://software.imdea.org/open_positions/2020-04-postdoc-flight.html
 Review of applications will begin immediately and close when positions are filled or on June 15, 2020. For enquiries about the position, please contact: cesar.sanchez (at) imdea.org From taravanis at upatras.gr Tue May 19 13:37:29 2020 From: taravanis at upatras.gr (Theofanis I. Aravanis) Date: Tue, 19 May 2020 14:37:29 +0300 Subject: [fg-arc] KR2020 - Doctoral Consortium Call for Applications Message-ID: KR Doctoral Consortium Call for Applications September 12-18, 2020 Rhodes, Greece https://kr2020.inf.unibz.it/ The 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) invites PhD students to apply for the Doctoral Consortium program. 1) AIMS AND SCOPE The Doctoral Consortium (DC) is a student mentoring program bringing together PhD students and senior researchers from the area of KR. The aims of the consortium are: * to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; * to promote contacts among PhD students working in similar areas; * to support students with information and advice on academic, research, and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but well-motivated applications from students who are at earlier or later stages of their doctoral studies will still be considered. For accepted students there will be a row of dedicated events, including DC invited talks on research practice, a lightning talk session, a poster session, and a mentoring lunch. Each student will be given ample time to present their work and therefore be able to fully benefit from direct feedback from the assigned senior researcher mentor and the wider KR conference audience. 2) APPLICATION SUBMISSION Applications must be submitted through the EasyChair conference system: https://easychair.org/conferences/?conf=kr2020 (start a new submission, and choose the checkbox for "Doctoral Consortium"). Each application must contain the following elements combined into a single PDF document: (1) Thesis summary. 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. It must be four pages maximum in AAAI style (http://www.aaai.org/Publications/Author/author.php). (2) Curriculum Vitae. A description of your background and relevant experience (research, education, employment), of two pages maximum. (3) Letter of recommendation. A letter from your thesis advisor that states that he/she supports your participation in the DC. (4) Indication of whether a sponsored studentship is requested, and if so, whether the student volunteers to help with local organization during KR, DL, and NMR. (5) Optionally, a suggestion of up to 5 potential mentors with similar research interests, who could give good advice on technical aspects related to the work, and/or career opportunities. The selection process will consider the quality of the submitted proposal and the stage of the student's PhD project. Doctoral students who submit to the DC are permitted to have previously published on their research, and are encouraged to submit papers to KR 2020 and associated conferences and workshops. 3) IMPORTANT DATES Application deadline: June 5, 2020 Acceptance notification: June 26, 2020 Doctoral Consortium: September 12-18, 2020 (TBC) For further information, please contact the DC chairs: Vaishak Belle, University of Edinburgh (vaishak at ed.ac.uk) Rafael Peñaloza, University of Milano-Bicocca (rafael.penaloza at unimib.it) From franconi at inf.unibz.it Wed May 20 19:39:32 2020 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Wed, 20 May 2020 19:39:32 +0200 Subject: [fg-arc] CFP TIME-2020 - new deadline Message-ID: <20052020193932410GGh77pfXqRRd0255@smtp.office365.com> [Apologies for cross-posting] New Submission Deadline - Paper Submission deadline: May 24th, 2020 ================= 3rd CALL FOR PAPERS - TIME 2020 ============= 27th International Symposium on Temporal Representation and Reasoning Bozen-Bolzano (Italy), 23th-25th September 2020 https://time2020.inf.unibz.it/ Co-Located with the Bolzano Summer of Knowledge 2020 https://summerofknowledge.inf.unibz.it/ ==================================================== Foremost, the TIME 2020 organizing committee hopes you are all in good health! We announce that TIME 2020, co-located with BOSK 2020, will allow for virtual attendance. Thus, the paper submission and the selection process will run just as expected, and physical participation in the symposium will not be a prerequisite for publication. Whether the symposium will allow also a physical attendance will be decided in the coming weeks together with the BOSK 2020 organizers. Reduced registration fees will be allowed for virtual participants. We thuswarmly invite you all again to submit your papers to TIME 2020. STAY SAFE! Invited Speakers ---------------- Clare Dixon (University of Liverpool, UK) Pedro Cabalar (University of Corunna, Spain) Johann Eder (Alpen-Adria Universität Klagenfurt, Austria) Aims & Scope ------------ Since 1994, the TIME International Symposium on Temporal Representation and Reasoning aims to bring together researchers in the area of temporal reasoning in Computer Science. TIME 2020 encompasses three tracks, but has a single program committee. The conference will be organized as a combination of technical paper presentations, keynote talks, and tutorials. Tracks ------ - Time in Artificial Intelligence - Temporal Databases - Temporal Logic and Reasoning Following a long-standing tradition, submission topics include (but are no limited to): - Temporal aspects of agent and policy-based systems - Spatial and temporal reasoning- Time in natural language processing - Spatio-temporal knowledge representation systems - Reasoning about actions and change - Planning and planning languages - Ontologies of time and space-time - Belief and uncertainty in temporal knowledge - Temporal learning and discovery - Temporal data models and query languages - Temporal query processing and indexing - Temporal data mining - Time series data management - Stream data management - Spatio-temporal data management, including moving objects - Data currency and expiration - Indeterminate and imprecise temporal data - Temporal constraints - Specification and verification of systems - Verification of web applications - Synthesis and execution - Model-checking algorithms and implementations - Verification of infinite-state systems - Reasoning about transition systems - Other aspects of temporal architectures Submission & Publication ---------------------------- TIME 2020 accepts submissions in PDF format, not longer than 12 pages excluding references and appendix. The appendix is limited to 5 pages, and the reviewers may or may not take it into account for their recommendation. Submissions must be formatted following the LIPIcs instructions (https://submission.dagstuhl.de/documentation/authors), and preferably redacted in LaTex. Submissions are managed by EasyChair: https://easychair.org/my/conference?conf=time2020. TIME policy is single-blind, so the names of the authors should not be hidden in the submitted draft. Members of the program committee, excluding the co-chairs, are allowed to submit papers. Submitted papers will be refereed for quality, correctness, originality, and relevance to the conference. Submissions to TIME 2020 must be original, and parallel submissions of the same material to other conferences or journals are not allowed. Accepted papers will be presented at the symposium and included in the proceedings, which will be published by LIPIcs-Leibniz International Proceedings in Informatics (https://www.dagstuhl.de/en/publications/lipics/). This is a series of high-quality peer-reviewed conference proceedings and published according to the principle of OpenAccess. At least one author of each accepted paper must register at the conference and present the paper. Authors of selected papers will be invited to submit an extended version of their contribution to a special issue of a high-quality journal yet to be decided. Important Dates (New Submission) ----------------------------------------------- - Papers due (abstracts & full-texts): May 24th, 2020 - Notification: June 21th, 2020 - Final camera-ready version: July 5th, 2020 - Early bird registration: July 26th, 2020 - Conference: September 23th-25th, 2020 Program Committee Chairs ------------------------------ Emilio Mu?oz-Velasco (University of Málaga) Ana Ozaki (Free University of Bozen-Bolzano) Martin Theobald (University of Luxembourg) Program Committee ------------------ Alexander Artikis (NCSR Demokritos – Athens) Klaus Berberich (Saarland University of Applied Sciences) Camille Bourgaux (CNRS – Ecole Normale Supérieure) Panagiotis Bouros (University of Mainz) Anton Dignoes (Free University of Bozen-Bolzano) Clare Dixon (University of Liverpool) Johann Gamper (Free University of Bozen-Bolzano) Rajeev Gore (Australian National University – ANU) Víctor Gutiérrez-Basulto (Cardiff University) Fredrik Heintz (Linköping University) Jean Christoph Jung (University of Bremen) Roman Kontchakov (Birkbeck, University of London) Marco Montali (Free University of Bozen-Bolzano) Cláudia Nalon (University of Brasilia) Daniel Neider (Max Planck Institute) Kjetil N?rv?g (University of Trondheim) Manuel Ojeda-Aciego (Universidad de Málaga) Hector Pomares (Universidad de Granada) Dimitris Sacharidis (Technical University of Vienna) Stephan Schlüter (Technische Hochschule Ulm) Guido Sciavicco (University of Ferrara) Local Chairs ------------ Alessandro Artale (Free University of Bozen-Bolzano) artale at inf.unibz.it Johann Gamper (Free University of Bozen-Bolzano) gamper at inf.unibz.it General contact for all inquiries concerning the conference: time2020 at unibz.it -------------- next part -------------- An HTML attachment was scrubbed... URL: From amedeo.napoli at loria.fr Wed May 20 23:00:18 2020 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Wed, 20 May 2020 23:00:18 +0200 (CEST) Subject: [fg-arc] FCA4AI at ECAI 2020 - New dates Message-ID: <202894186.16784627.1590008418276.JavaMail.zimbra@loria.fr> =========================================================================== -- FCA4AI (Eighth Edition) -- What can FCA do for Artificial Intelligence? co-located with ECAI 2020, Santiago de Compostela, Spain August 30 2020 http://www.fca4ai.hse.ru/2020 =========================================================================== Note about the organization of the FCA4AI 2020 workshop: At the moment we do not know whether the ECAI Conference will go virtual or not. In any case, the FCA4AI 2020 workshop will run as smoothly and as lively as possible. The aim is to gather the FCA4AI community and to allow every potential author or interested researcher to attend the workshop either locally or remotely. General Information about FCA4AI 2020. The preceding editions of the FCA4AI Workshop (from ECAI 2012 until IJCAI 2019) 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 Santiago de Compostela, co-located with the ECAI 2020 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 21 2020 Notification to authors: July 20 2020 Final version: August 03 2020 Workshop: August 30 2020 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=fca4ai2020 The workshop proceedings will be published as CEUR proceedings (see preceding editions in CEUR Proceedings 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 PROGRAM COMMITTEE (under construction) =========================================================================== -------------- next part -------------- An HTML attachment was scrubbed... URL: From radu.muschevici at nottingham.edu.my Fri May 22 12:47:04 2020 From: radu.muschevici at nottingham.edu.my (radu.muschevici at nottingham.edu.my) Date: Fri, 22 May 2020 18:47:04 +0800 Subject: [fg-arc] CfP: ICTAC 2020 Message-ID: Call for papers 17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020). https://ictac2020.github.io/ ---------------------------------------------------------------------- Concerning COVID-19 The Program Chairs and the Steering Committee of ICTAC 2020 are closely following the situation regarding COVID-19 and will take appropriate measures if and when needed, following the recommendations of relevant national and international bodies, such as the World Health Organization. These measures will be adapted to the actual situation and may e.g., include the possibility of remote paper presentations or a full electronic implementation of the conference. ---------------------------------------------------------------------- ****** ABOUT ICTAC 2020 ****** We are pleased to invite you to submit papers for the 17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020), which will take place in Macao S.A.R., China on 30 November- 4 December, 2020. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. ICTAC also aims to promote research cooperation between developing and industrial countries. The proceedings will be published as a volume of Springer's LNCS series. ****** IMPORTANT DATES ****** Abstract submission: Monday, 22 June 2020 (AoE) Paper submission: Friday, 26 June 2020 (AoE) Notification: Monday, 14 September 2020 (AoE) Camera-ready: Wednesday, 30 September 2020 (AoE) Main Conference: 30 November - 4 December 2020 ****** OBJECTIVES and SCOPE ****** Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST), the ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. The topics of the conference include, but are not limited to: - Languages and automata - Semantics of programming languages - Logic in computer science - Lambda calculus, type theory and category theory - Domain-specific languages - Theories of concurrency and mobility - Theories of distributed, grid and cloud computing - Models of objects and components - Coordination models Models of software architectures - Timed, hybrid, embedded and cyber-physical systems - Static analysis - Software verification - Software testing - Program generation and transformation - Model checking and automated theorem proving - Interactive theorem proving - Verified software, formalized programming theory ****** SUBMISSION OF CONTRIBUTIONS ****** We solicit the following types of papers: - Regular papers, with original research contributions; - Short papers, with original work in progress or with proposals of new ideas and emerging challenges; - Tool papers, on tools that support formal techniques for software modelling, system design, and verification. Submissions must adhere to the LNCS format and must not exceed 18 pages (excluding bibliography of maximum 2 pages). Short- and tool papers should not exceed 10 pages. Submissions must not have been published or be under consideration for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. All contributions to ICTAC 2020 have to be submitted electronically in PDF format via Easy Chair (https://easychair.org/conferences/?conf=ictac2020). All accepted papers must be presented at the conference. 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 the early registration date, and present the paper. The ICTAC committee will evaluate and select the best paper award winner. Authors should consult Springer's authors' guidelines (ftp://ftp.springernature.com/cs-proceeding/svproc/guidelines/Springer_Guidelines_for_Authors_of_Proceedings.pdf) and use their proceedings templates, either for LaTeX (ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip) or for Word (ftp://ftp.springernature.com/cs-proceeding/llncs/word/splnproc1703.zip), for the preparation of their papers. Springer encourages authors to include their ORCIDs (https://goo.gl/hbsa4D) 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. ****** Organization ****** *** Program Committee Chairs *** Violet Ka I Pun (Western Norway University of Applied Sciences, NO) Adenilso da Silva Simão (University of São Paulo, BR) Volker Stolz (Western Norway University of Applied Sciences, NO) *** Workshop/Tutorial Chairs *** Antonio Cerone (Nazarbayev University, KZ) Einar Broch Johnsen (University of Oslo, NO) *** Local Organisation Chairs *** Xiaoshan Li (University of Macau, MO) Ignacio Marcovecchio (UNU-CS, MO) Joseph Chi Man Pun (University of Macau, MO) *** Publicity Chairs *** Zhiming Liu (Southwest University, CN) Radu Muschevici (University of Nottingham, MY) *** Program Committee *** Erika Ábrahám (RWTH Aachen University, DE) Kamel Barkaoui (CNAM, FR) Frédéric Blanqui (INRIA, FR) Simon Bliudze (INRIA, FR) Benedikt Bollig (LSV, ENS Cachan, CNRS, FR) Eduardo Bonelli (Stevens Institute of Technology, US) Ana Cavalcanti (University of York, UK) Antonio Cerone (Nazarbayev University, KZ) Yu-Fang Chen (National Taiwan University, TW) Uli Fahrenberg (LIX, FR) Bernd Fischer (Stellenbosch University, ZA) Paola Giannini (Universit� del Piemonte Orientale, Alessandria, IT) Edward Hermann Haeusler (Pontifícia Universidade Católica do Rio de Janeiro, BR) Thomas Troels Hildebrandt (University of Copenhagen, DK) Ross Horne (University of Luxembourg, LU) Reiner Hähnle (Technische Universität Darmstadt, DE) Eun-Young Kang (University of Southern Denmark, DK) Jan K�(tm)etínský (Technische Universität München, DE) Lars Michael Kristensen (Western Norway University of Applied Sciences, NO) Martin Leucker (University of Lübeck, DE) Michael Lienhardt (ONERA, FR; University of Turin, IT) Dominique Méry (LORIA, FR) Mohammad Reza Mousavi (University of Leicester, UK) Maciej Piróg (Wroclaw University, PL) Sanjiva Prasad (IIT Delhi, IN) Riadh Robbana (INSAT, TN) Kristin Yvonne Rozier (Iowa State University, US) Augusto Sampaio (Universidade Federal de Pernambuco, BR) César Sánchez (IMDEA Software Institute, ES) Marjan Sirjani (Mälardalen University, SE; Reykjavik University, IS) Georg Struth (University of Sheffield, UK) Jing Sun (University of Auckland, NZ) << This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK & Malaysia legislation. >> From franconi at inf.unibz.it Tue May 26 17:24:33 2020 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Tue, 26 May 2020 17:24:33 +0200 Subject: [fg-arc] Several four-year PhD grants at the Faculty of Computer Science of the Free University of Bozen-Bolzano in Italy Message-ID: <26052020172433800GGh77pfXqRRd0173@smtp.office365.com> 18 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. Some of the 18 PhD grants are supported by FBK, CNR, University of Ume?, and by software companies, and interested candidates might carry out their PhD research in collaboration with these external partners. The language of the PhD programme is English. The deadline for applications will be on the 13th of July, 2020. 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. 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. 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 van.hoorn at informatik.uni-stuttgart.de Thu May 28 16:14:40 2020 From: van.hoorn at informatik.uni-stuttgart.de (Andre van Hoorn) Date: Thu, 28 May 2020 16:14:40 +0200 Subject: [fg-arc] CfP: Joint CSE/QUDOS 2020 Workshop @ ECSA 2020 Message-ID: <901f03b3-d46c-cae9-5b35-3f1a133ed3aa@informatik.uni-stuttgart.de> ------------------------------------------------------------------------------- CALL FOR PAPERS Joint CSE/QUDOS Workshop 2020 5th Workshop on Continuous Software Engineering and 6th International Workshop on Quality-Aware DevOps Co-located with the 14th European Conference on Software Architecture (ECSA 2020) L'Aquila, Italy September 14-18, 2020 (exact day to be announced) https://cse2020.swc-rwth.de/ - http://2020.qudos-workshop.org/ https://twitter.com/qudos_workshop ------------------------------------------------------------------------------- IMPORTANT DATES Submission deadline June 19, 2020 (AoE) Paper notification Jul 13, 2020 Camera-ready deadline Jul 22, 2020 Workshop date Sep 14-18, 2020 (t.b.a.) ------------------------------------------------------------------------------- DON'T STOP ARCHITECTING! Please check the message from the ECSA 2020 General Chair on COVID-19: https://ecsa2020.disim.univaq.it/attending/message-from-general-chair ------------------------------------------------------------------------------- SCOPE AND TOPICS DevOps extends the agile development principles to include the full stack of software services, from design to execution, enabling and promoting collaboration of operations, quality assurance, and development engineers throughout the entire service lifecycle. Ultimately, DevOps is a process that enables faster releases of a better product to the end user. DevOps encompasses a set of values, principles, methods, practices, and tools, to accelerate software delivery to the customer by means of infrastructure as code, continuous integration and deployment, automated testing and monitoring, or new architectural styles such as microservices. In the end all common software engineering activities, organizational forms and processes have to be questioned, adapted and extended to ensure continuous and unobstructed software development, this is the aim of continuous software engineering (CSE)research. Current software engineering research mainly deals with the development aspects of DevOps and CSE, focusing on development methods, practices, and tools, leaving the quality assurance aspects of DevOps behind. Even though development practices such as testing (at all levels) are instrumental in producing quality software, they mostly deal with the functional correctness, while quality assurance deals with a more broadly defined concept of quality, of which functional correctness is just one dimension. However, DevOps needs methods and tools that enable systematic assessment, prediction, and management of software quality in other dimensions as well, including performance, reliability, safety, survivability, or cost ofownership. The Joint CSE/QUDOS workshop provides a forum for experts from academia and industry to present and discuss novel quality-aware methods, practices and tools for DevOps. In extension to the workshop aims to present and discuss innovative solutions, ideas and experiences in the area of continuity along the entire software engineering lifecycle hence, Continuous Software Engineering. For the second time, CSE and QUDOS join forces to foster cross- fertilization and bootstrap an even bigger, stronger community around the urgently emerging topics they are both addressing from different angles. Especially industry practitioners are invited to join this community and present challenges, solutions and lessons learned from real and complex projects. Topics of interest include, but are not limited to: * Foundations: DevOps Engineering & Quality Assurance Methodologies; integration with lifecycle management; automated tool chains; patterns & smells; * Architecture: Scalability and capacity planning; scale-out architectures; cloud-native application design; microservice-based architectures; model-driven architectures; architecture evolution and erosion * Development and Tooling: Software models and requirements in early software development phases; automatic functional and non-functional testing; languages, annotations and profiles for quality assurance; analysis, verification and prediction; optimization-based architecture design; Infrastructure-as-Code * Operation and Maintenance: Application performance monitoring; model-driven performance measurement and benchmarking; feedback-based quality assurance; capacity planning and forecasting; performance anti-pattern detection; traceability and versioning; trace and log analysis; software regression and testing; security and privacy; software health and self-healing; containerization and immutable infrastructure * Continuous X: Continuous delivery and Continuous experimentation; deployment pipelines, canary releases and partial rollouts; A/B testing; performance and scalability testing via shadow launches * Applications and Experiences: Case Studies in cloud computing, Big Data, and IoT/Edge Computing; standardization and interoperability; novel application domains, etc. * All other topics related to DevOps and agile service delivery models ------------------------------------------------------------------------------- ORGANIZING COMMITTEE CSE/QUDOS 2020 will be organized by the Program Committee Chairs and the Steering Committees of the CSE and QUDOS workshops series. Program Committee Chairs Robert Chatley, Imperial College London, UK Katja Kevic, Microsoft, UK Program Committee Bram Adams, Polytechnique Montréal, Canada Maurício Aniche, TU Delft, Netherlands Cor-Paul Bezemer, University of Alberta, Canada Jan Bosch, Chalmers University of Technology Daniel Bryant, DataWire / InfoQ, UK Jürgen Cito, TU Vienna, Austria Thomas Kurpick, Trusted Shops GmbH Shane McIntosh, McGill U, Canada Brendan Murphy, Microsoft Research, UK Adrian Mouat, Container Solutions, UK Cesare Pautasso, University of Lugano, Switzerland Kayla Shapiro, Facebook, UK Emma Söderberg, Lund University Damian Tamburri, TU Eindhoven, Netherlands Catia Trubiani, Gran Sasso Science Institute, Italy Benji Weber, Snyk, UK Uwe Zdun, University of Vienna, Austria CSE Steering Committee Stephan Krusche, TU München, Germany Horst Lichter, RWTH Aachen University, Germany Dirk Riehle, FAU Nürnberg, Germany Andreas Steffens, RWTH Aachen University, Germany QUDOS Steering Committee Danilo Ardagna, Politecnico di Milano, Italy Giuliano Casale, Imperial College London, UK Andre van Hoorn, University of Stuttgart, Germany Philipp Leitner, Chalmers | University of Gothenburg, Sweden ------------------------------------------------------------------------------- SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. We solicit full papers (max. 12 pages), short papers (max. 5 pages), and industry abstracts (max. 2 pages). All submissions must conform to the Springer Proceedings format (LNCS/CCIS). Each full paper submission will be reviewed by at least three members of the program committee. Papers should be submitted via EasyChair at: https://easychair.org/conferences/?conf=csequdos2020 At least one author of each accepted paper is required to attend the workshop and present the paper. Presented papers will be published by Springer in the ECSA 2020 workshop proceedings. ------------------------------------------------------------------------------- ORGANIZATION AND SUPPORT The Joint CSE/QUDOS Workshop 2020 is organized and technically sponsored by the Research Group (RG) and the DevOps Performance Working Group of the Standard Performance Evaluation Corporation (SPEC RG, http://research.spec.org), and by the consortium of the EU project RADON (http://radon-h2020.eu/). The workshop is also supported by IFIP Working Group on Service Oriented Systems (http://ifip-wg-sos.deib.polimi.it/) GI Working Group Microservices and DevOps (https://ak-msdo.gi.de/) -- Dr.-Ing. André van Hoorn University of Stuttgart, Inst. of Software Technology Reliable Software Systems Group Universitätsstraße 38, D-70569 Stuttgart, Germany Room: 1.332 Phone: +49 (0)711 685-88-252, Fax: -472 E-Mail: van.hoorn at informatik.uni-stuttgart.de https://www.iste.uni-stuttgart.de/institute/team/van-Hoorn/ http://kieker-monitoring.net/, http://research.spec.org/ From jens.knodel at caruso-dataplace.com Thu May 28 23:02:25 2020 From: jens.knodel at caruso-dataplace.com (Jens Knodel) Date: Thu, 28 May 2020 21:02:25 +0000 Subject: [fg-arc] =?iso-8859-1?q?WSRE_2020=3A_16=2E-18=2E_September_an_de?= =?iso-8859-1?q?r_Universit=E4t_Paderborn_=28neuer_Termin_=26_neuer_Ort=29?= Message-ID: WSRE 2020: neuer Termin & neuer Ort ================================ 22. Workshop Software-Reengineering & -Evolution der GI-Fachgruppe Software-Reengineering (SRE) Universität Paderborn, 16.-18. September 2020 https://fg-sre.gi.de/veranstaltung/22-workshop-software-reengineering-evolution/ === Bitte beachten, aufgrund der aktuellen Umstände haben wir den WSRE 2020 verschoben und mussten dadurch auch für die Durchführung der Veranstaltung einen anderen Ort wählen: der WSRE 2020 findet nun vom 16.-18. September an der Universität Paderborn statt. Eine Anmeldung zum Workshop wird in Kürze möglich sein. Alle bisher schon für Mai angemeldeten Personen müssten sich bitte noch einmal neu anmelden. Die Anmeldefrist wird am 02. September enden. Weitere Information zur Durchführung des WSRE 2020 folgen demnächst über die Webseite der Fachgruppe (https://fg-sre.gi.de/) und werden auch über den Reengineering-Verteiler und den EasyChair Verteiler versendet. Um die Nachrichten zu erhalten, können Sie sich gerne zu unserer Mailingliste anmelden: https://fg-sre.gi.de/weiteres/mailingliste Bis zum 30.06. akzeptieren weiterhin wir noch Beiträge zum Track "Forschung trifft Praxis", welcher in diesem Jahr zum ersten Mal stattfindet. Ziel des Tracks ist es, Forschung und Praxis aufeinander aufmerksam zu machen und gezielt mögliche Anknüpfungspunkte zu kristallisieren. Bei gegenseitigem Interesse werden im Nachgang die Fallstudien begleitet und unterstützt durch ein Mitglied des SRE-Leitungsgremiums. Weitere Informationen und Hinweise zur Einreichung eines Beitrags sind hier zu finden: https://fg-sre.gi.de/aktivitaeten/forschung-trifft-praxis Wir freuen uns auf einen spannenden Workshop und viele interessante Vorträge und lebhafte Diskussionen - natürlich unter Beachtung und Einhaltung der dann geltenden Hygienevorschriften! Bleiben Sie gesund! IHRE GI-FACHGRUPPE SRE --- Dr. Jens Knodel, Caruso GmbH, Ismaning Dr. Marco Konersmann, Universität Koblenz-Landau Torsten Görg, itemis AG, Stuttgart Matthias Gutheil, itemis AG, Bonn Dr. Stefan Sauer, Universität Paderborn Kontakt? mailto:WSR at list.uni-koblenz.de -- Dr. Jens Knodel Head of Platform Engineering   m: +49 179 53 43 284 e:    jens.knodel at caruso-dataplace.com   w:   www.caruso-dataplace.com   Caruso GmbH | Steinheilstraße 10 | 85737 Ismaning Managing Directors: Alexander Haid, Jürgen Buchert | Registered Local Court Munich | HRB 233 669