From stavros at helvia.ai Thu Aug 1 13:11:51 2024 From: stavros at helvia.ai (Stavros Vassos) Date: Thu, 1 Aug 2024 14:11:51 +0300 Subject: [fg-arc] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - LCA-Doctoral Consortium-Deadline Extension Message-ID: <1722508945007.29b00fbe-b107-4385-892c-09ce121dc2fd@bf01.hubspotstarter.net> DOCTORAL CONSORTIUM LAST CALL FOR APPLICATIONS KR 2024 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Doctoral Consortium - Last Call for Applications Deadline Extension until 4 August 2024 The 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) invites PhD students to apply for the Doctoral Consortium program. Important Dates - Applications deadline: 04 August 2024 (Sunday). - Acceptance notification: 7 August 2024 (Wednesday). - Conference: 2 - 8 November. Several scholarships will be available. Information about scholarships will be announced at a later time at the KR24 webpage. 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 we also encourage students to apply who are at an earlier or more advanced stage of the completion of their thesis. Accepted students will participate in several dedicated DC events, which will likely consist of a lightning talk session and a poster and mentoring session (the precise format of the DC will be finalized closer to the conference). 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. Application Submission Applications must be submitted through the CMT conference system: cmt3.research.microsoft.com/KR2024 (www.kr.org/KR2024/) 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. The maximum number of pages is four (bibliography included) and the same style as for KR paper submissions should be used (see www.kr.org/KR2024/ (www.kr.org/KR2024/) ) 2. Curriculum Vitae. A description of your background and relevant experience (research, education, employment), max imum two pages. 3. Brief letter of recommendation. A brief letter from your thesis advisor that states that they support your participation in the DC. 4. Optionally, a suggestion of some potential mentors with similar research interests, who could give good advice on technical aspects related to the work, and/or career opportunities. For inspiration who to name, you can refer to program committee members of previous KR conferences. The selection process will consider the quality of the submitted proposal and the stage of the student's PhD project. Proposals of the selected students will not be published, so doctoral students who submit to the DC are permitted to have previously published their research, and are encouraged to submit papers to KR 2024 and associated conferences and workshops. Doctoral Consortium Chairs Inquiries should be sent by email to the KR 2024 Doctoral Consortium Chairs: -Camille Bourgaux, CNRS, ENS, Paris, France (camille.bourgaux at ens.fr (mailto:camille.bourgaux at ens.fr) ) -Johannes P. Wallner, TU Graz, Austria (wallner at ist.tugraz.at (mailto:wallner at ist.tugraz.at) ) KR Inc., not for profit Scientific Foundation, , Massachusetts, USA , , Unsubscribe (https://hs-5228907.s.hubspotstarter.net/preferences/en/unsubscribe?data=W2nXS-N30h-MjW3P4Gpr3_-P73W2KVChy218mnyW36cBBr3dB2J9W1VnnGr4m9C5xW2z-z4w4tn_l4W4cwSVV4fFGKDW4pxZ8R3jgKlZW1BNbsj30vsMbW2TlsHY1Q6gcbW43xf4Y4kKwcZW2KVck42310RFW2qV7xr1BwPgxW2FCfcL3P2_dDW328Gd22sW8vhW3_J2kl1Qm8sGW3_RZkH49nbzMW4kt6_636g8c_W3C7hwl4myvTlW1BpZsZ45Hr5NW1YZ5rX1XgQSSW3ZC-qQ43rCPxW2MXvM31Ljd_DW2zG_Cy34DV78W2sZWM_3857pfW1XqbZv41zZDsW2HGLfN2sVN2_W3M0JmS3XZ4fgW4ktYft2r0H-vW2RRZ393dvs88W30cSc-25fjYSW3QC8hM2Yr5jvW4tG4_G2173qFW3Cgnbd4mHZhjW3_Zbbn2-zKp-W256fqv2FSX5VW3XZ5XS2t23wsW1_dGJt3SK8YCW1Sr1w42qGs2XW20Wc4m4rlNvlW1Z5Skj45QV0SW1BDfPc2TkFdMW41tZSF3ZVDv_W3-1szM3XYMPtW4rv_gT4tx1yhW20YJj334DZm5W47pzHB3SJSFHf2sVqg904&_hsenc=p2ANqtz-897rDKyjlR4eEig-ePDEMSriGcomA780_HOszkNPW-TQOp6mfKIqrDAZtn5TsQ7HlKveNSAhSor3e5CYGAFZJxjwl5FrQDL38cPugBWLhxRtFsr8o&_hsmi=318284381 ) Manage preferences (https://hs-5228907.s.hubspotstarter.net/preferences/en/manage?data=W2nXS-N30h-MjW3P4Gpr3_-P73W2KVChy218mnyW36cBBr3dB2J9W1VnnGr4m9C5xW2z-z4w4tn_l4W4cwSVV4fFGKDW4pxZ8R3jgKlZW1BNbsj30vsMbW2TlsHY1Q6gcbW43xf4Y4kKwcZW2KVck42310RFW2qV7xr1BwPgxW2FCfcL3P2_dDW328Gd22sW8vhW3_J2kl1Qm8sGW3_RZkH49nbzMW4kt6_636g8c_W3C7hwl4myvTlW1BpZsZ45Hr5NW1YZ5rX1XgQSSW3ZC-qQ43rCPxW2MXvM31Ljd_DW2zG_Cy34DV78W2sZWM_3857pfW1XqbZv41zZDsW2HGLfN2sVN2_W3M0JmS3XZ4fgW4ktYft2r0H-vW2RRZ393dvs88W30cSc-25fjYSW3QC8hM2Yr5jvW4tG4_G2173qFW3Cgnbd4mHZhjW3_Zbbn2-zKp-W256fqv2FSX5VW3XZ5XS2t23wsW1_dGJt3SK8YCW1Sr1w42qGs2XW20Wc4m4rlNvlW1Z5Skj45QV0SW1BDfPc2TkFdMW41tZSF3ZVDv_W3-1szM3XYMPtW4rv_gT4tx1yhW20YJj334DZm5W47pzHB3SJSFHf2sVqg904&_hsenc=p2ANqtz-897rDKyjlR4eEig-ePDEMSriGcomA780_HOszkNPW-TQOp6mfKIqrDAZtn5TsQ7HlKveNSAhSor3e5CYGAFZJxjwl5FrQDL38cPugBWLhxRtFsr8o&_hsmi=318284381 ) -------------- next part -------------- An HTML attachment was scrubbed... URL: From janne.schlueschen at uni-hamburg.de Mon Aug 12 15:28:51 2024 From: janne.schlueschen at uni-hamburg.de (=?UTF-8?Q?Janne_Schl=C3=BCschen?=) Date: Mon, 12 Aug 2024 15:28:51 +0200 Subject: [fg-arc] =?utf-8?q?Projektstelle_im_Bereich_Sofftwareentwicklung?= =?utf-8?q?_an_der_Universtit=C3=A4t_Hamburg=2C_Fachbereich_Informatik?= Message-ID: <27a6d15b-f8c8-4044-bc9b-7836a1a68cc4@uni-hamburg.de> Hallo, anliegend eine Stellenausschreibung der Universität Hamburg im Fachbereich Informatik mit der Bitte um Beachtung. Wissenschaftliche:r Mitarbeiter:in im Projekt „Nachhaltigkeit für ein wiederverwendbares, qualitativ hochwertiges Monitoring-Framework für die Software-Engineering-Forschung - SustainKieker“ Der Link zur Ausschreibung: https://www.uni-hamburg.de/stellenangebote/ausschreibung.html?jobID=66878e1a0e535068e0a6a7d097df4f2fe708b53d Mit freundlichen Grüßen Janne Schlüschen From ulbrich at kit.edu Sat Aug 24 10:38:45 2024 From: ulbrich at kit.edu (Mattias Ulbrich) Date: Sat, 24 Aug 2024 10:38:45 +0200 Subject: [fg-arc] PhD Symposium iFM 2024 - Final Call for Papers (extended deadline) Message-ID: <9c01f7a8-7c23-430b-a8ce-503c7ae68e86@kit.edu> Apologies if you receive multiple copies of this CFP. Please, pass it on to interested colleagues. --------------------------------------------------------------------------------------------------------------------------- PhD Symposium iFM 2024 - Final Call for Papers (Extended Deadline) 19th International Conference on integrated Formal Methods 12 November 2024, Manchester, United Kingdom https://ifm2024.cs.manchester.ac.uk/phd-symposium.html --------------------------------------------------------------------------------------------------------------------------- IMPORTANT DATES Paper submission (EXTENDED): 30 Aug 2024 (AoE) Author notification: 22 Sep 2024 (AoE) Camera-ready: 7 Oct 2024 (AoE) Early registration: until 19 Oct 2024 Symposium date: 12 Nov 2024 OBJECTIVE AND SCOPE The iFM PhD symposium provides PhD students an opportunity to present and discuss their research in the fields of theory, implementation, integration or application of formal methods. WHO CAN SUBMIT? PhD students and young researchers at an early career stage (up to 2 years after PhD completion). WHY TO SUBMIT AND PARTICIPATE? Participants will have the possibility to present their research projects. Moreover: The doctoral symposium offers an excellent opportunity to introduce your work to fellow researchers in an international setting, and to get feedback from senior researchers in the field. The doctoral symposium lets you exchange knowledge and experiences with fellow PhD-students in a related topic -- both regarding research and regarding working towards an PhD. WHAT TO SUBMIT? There are several options for your submission: 1 _Thesis Proposal Abstracts_ summarize your research questions and outline your planned approach without needing to report experimental results. They are ideal for early-stage PhD students to get feedback on their research project during the initial planing and orientation phase. Abstracts have 2-3 pages, co-authors are allowed, and results may have been published previously if appropriately referenced. Indicate if also submitted to iFM2024. 2 _Result Reports_ are short papers summarizing preliminary results of early-stage research. Result Reports are short papers summarizing preliminary results of early-stage research. They should objectively report the addressed question, applied methods, and obtained results. Papers on unexpected results or ineffective methods are particularly welcome. Result Reports have 3-6 pages, co-authors are allowed, the work must be previously unpublished. 3 _Master summaries_ are short papers summarizing the research question, method, and results of your impactful Master's thesis together with a discussion about possible next research steps. They are ideal for new and future PhD students to communicate their thesis results. Master reports have 2-3 pages, an experienced supervisor should be a co-author, and results may have been published previously if appropriately referenced. Indicate if also submitted to iFM2024. All submissions will be reviewed and accepted papers will be made publicly available in open-access online symposium proceedings. SUBMISSION GUIDELINES Multiple submissions by one author are not permitted. Submissions must be written in English and follow the CEUR-WS single-column formatting guidelines, available at: http://ceur-ws.org/Vol-XXX/CEURART.zip or on overleaf https://www.overleaf.com/latex/templates/template-for-submissions-to-ceur-workshop-proceedings-ceur-ws-dot-org/wqyfdgftmcfw Please submit your contribution electronically in PDF via the EasyChair page: https://easychair.org/conferences/?conf=ifm2024phd All submissions will be peer reviewed, and will be evaluated based on their clarity and their potential to generate interesting discussions. Authors will get valuable feedback from more experienced reviewers. All types of contributions will benefit from feedback received during a dicussion at the workshop. Reviewing will be single blind, i.e, submissions need not be anonymized. PROGRAMME COMMITTEE Erika Abraham, RWTH Aachen, Germany Ștefan Ciobâcă, UAIC Iași, Romania Mădălina Eraşcu, West University of Timisoara, Romania (co‑chair) Grigory Fedyukovich, Floria State University, USA Asmae Heydari Tabar, Karlsruhe Institute of Technology, Germany Eduard Kamburjan, University of Oslo, Norway Banjamin Lucien Kaminski, Saarland University and University College London, UK Gergely Kovásznai, Eszterházy Károly University Egar, Hungary Ondrej Lengal, Brno University of Technology, Czech Republic Luigia Petre, Åbo Akademi University, Finland Philipp Rümmer, University of Regensburg, Germany Nestan Tsiskaridze, Stanford University, USA Mattias Ulbrich, Karlsruhe Institute of Technology, Germany (co‑chair) FURTHER INFORMATION available on the web pages: https://ifm2024.cs.manchester.ac.uk/phd-symposium.html https://easychair.org/cfp/ifm2024phd From A.J.Wijs at tue.nl Fri Aug 23 22:12:07 2024 From: A.J.Wijs at tue.nl (Wijs, Anton) Date: Fri, 23 Aug 2024 20:12:07 +0000 Subject: [fg-arc] SAC-SVT 2025 CFP: Software Verification and Testing Track at SAC 2025: deadline September 20, 2024 Message-ID: 40th Annual ACM/SIGAPP Symposium on Applied Computing Software Verification and Testing Track Sicily, Italy, March 31 - April 4, 2025 Submission deadline : September, 20, 2024 SAC 2025 website: https://www.sigapp.org/sac/sac2025/ SAC-SVT 2025 website: https://sac-svt.github.io/sac-svt-2025/ ==== Important dates ==== Sep 20, 2024 - Deadline submission of regular papers and SRC research abstracts Oct 30, 2024 - Paper notification Nov 29, 2024 - Camera-ready and author registration Mar 31 - Apr 4, 2025 - ACM Symposium on Applied Computing ==== ACM Symposium on Applied Computing ==== The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the last thirty years. The forum gives participants an opportunity to interact with different communities sharing an interest in applied computing. SAC 2025 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will take place on March 31 - Apr 4, 2025, Sicily, Italy. ==== Software Verification and Testing Track (SVT) ==== The Software Verification and Testing track aims to contribute to the challenge of improving the usability of formal methods in software engineering. The track covers areas such as formal methods for verification and testing, based on theorem proving, model checking, static analysis, and run-time verification. We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. We also welcome detailed descriptions of applications of mechanical verification to large scale software. ==== Topics ==== Possible topics include, but are not limited to: * model checking * theorem proving * correct by construction development * model-based testing * software testing * symbolic execution * static and dynamic analysis * abstract interpretation * analysis methods for dependable systems * software certification and proof carrying code * fault diagnosis and debugging * verification and validation of large scale software systems * real-world applications and case studies applying software testing and verification * benchmarks and data sets for software testing and verification ==== Submission Guidelines ==== Paper submissions must report on original, unpublished work. Submitted papers will undergo a double-blind review process. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. We welcome research papers and posters. Research papers should have at most 8 two-column pages in ACM format (further two pages, to a total of 10 pages, may be available at a charge). The length of a poster is limited to 2 pages (one extra page may be available at a charge). Please comply to this page limit already at submission time. Furthermore, in the context of the Student Research Competition (SRC) program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest, graduate students are invited to submit research abstracts (single author, maximum of 3 pages in ACM camera-ready format) following the instructions published at the SAC 2025 website. Submission of the same abstract to multiple tracks is not allowed. Accepted papers will be published in the ACM SAC 2025 proceedings in the ACM digital library. Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM digital library. No-show of registered papers and posters will result in excluding them from the ACM digital library. The submission system for regular papers: https://easychair.org/my/conference?conf=sac-2025 The submission system for SRC (Student Research Competition) abstracts: https://easychair.org/my/conference?conf=sacsrc-2025 ==== Track Chairs ==== Justyna Petke, University College London, United Kingdom Anton Wijs, Eindhoven University of Technology, Netherlands -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 1632 bytes Desc: not available URL: From amedeo.napoli at loria.fr Sun Aug 25 16:44:10 2024 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Sun, 25 Aug 2024 16:44:10 +0200 (CEST) Subject: [fg-arc] Workshop FCA4AI 2024 (Deadline extension) Message-ID: <1666202994.12286226.1724597050052.JavaMail.zimbra@loria.fr> Sorry for duplicates. ------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Twelfth Edition) -- "What can FCA do for Artificial Intelligence?'' co-located with ECAI 2024, Santiago de Compostela, Spain October 19th 2024 http://www.fca4ai.hse.ru/2024 ------------------------------------------------------------------------------------------------------------------- General Information. The eleven preceding editions of the FCA4AI Workshop (from ECAI 2012 until IJCAI 2023) showed that many researchers working in Artificial Intelligence are indeed interested in powerful techniques for classification and data mining provided by Formal Concept Analysis. The twelfth edition of FCA4AI will once more be co-located with the ECAI Conference, and thus be held in Santiago de Compostela. 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, etc. While the capabilities of FCA are extended, new possibilities are arising in the framework of FCA. As usual, the FCA4AI workshop is dedicated to the discussion of such issues, and in particular: - How can FCA support AI activities in knowledge discovery, knowledge representation and reasoning, machine learning, natural language processing and others? - Vice versa, how can the current developments in AI be adopted within FCA to help AI researchers solve complex problems in their domain? - Which role can FCA play in the new trends in AI, especially in ML, XAI, fairness of algorithms, and "hybrid systems'' combining symbolic and subsymbolic approaches? TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: pattern structures, relational structures, distributive lattices. - Knowledge discovery and data mining: pattern mining, association rules, attribute implications, subgroup discovery, exceptional model mining, data dependencies, attribute exploration, stability, projections, interestingness measures, MDL principle, mining of complex data, triadic and polyadic analysis. - Knowledge and data engineering: knowledge representation, reasoning, ontology engineering, mining the web of data, text mining, data quality checking. - Analyzing the potential of FCA in supporting hybrid systems: how to combine FCA and data mining algorithms, such as deep learning for building hybrid knowledge discovery systems, producing explanations, and assessing system fairness. - Analyzing the potential of FCA in AI tasks such as classification, clustering, biclustering, information retrieval, navigation, recommendation, text processing, visualization, pattern recognition, analysis of social networks. - FCA and Large Language Models (LLMs). - Practical applications in agronomy, astronomy, biology, chemistry, finance, manufacturing, medicine, and others. The workshop will include time for audience discussion aimed at a better understanding of the issues, challenges, and ideas being presented. IMPORTANT DATES: Submission deadline: September 08 2024 Notification to authors: September 23 2024 Final version: October 06 2024 Workshop: October 19 2024 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format following the CEURART style 1-column (to be downloaded at https://ceur-ws.org/Vol-XXX/CEURART.zip). Submissions can be: - technical papers between 8 and 12 pages, - system descriptions or position papers describing work in progress not exceeding 6 pages. Submissions are via EasyChair at https://easychair.org/conferences/?conf=fca4ai2024 The workshop proceedings will be published as CEUR proceedings (see preceding editions in CEUR Proceedings Vol-3489, Vol-3233, Vol-2972, Vol-2729, Vol-2529, Vol-2149, Vol-1703, Vol-1430, Vol-1257, Vol-1058, and Vol-939). WORKSHOP CHAIRS: Sergei O. Kuznetsov National Research University Higher Schools of Economics, Moscow, Russia Amedeo Napoli Université de Lorraine, CNRS, Inria, LORIA, Nancy, France Sebastian Rudolph Technische Universität Dresden, Germany PROGRAM COMMITTEE (under construction) ------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From sandro.speth at iste.uni-stuttgart.de Mon Aug 26 09:51:56 2024 From: sandro.speth at iste.uni-stuttgart.de (Speth, Sandro) Date: Mon, 26 Aug 2024 07:51:56 +0000 Subject: [fg-arc] Call for Papers - Agility with Microservices Programming Workshop Message-ID: Dear fellow software architecture enthusiasts, On behalf of the entire workshop committee, I want to invite you to submit a paper to our Agility with Microservices Programming (AMP) Workshop that is co-located with ICSOC this year. The AMP workshop aims at collecting experiences on microservice adoption, reporting best practices, but also specially failure cases, so as to build community knowledge based on previous errors and successes. The workshop is open to experience reports from practitioners and academia. The fourth edition of AMP aims to continue the success of its previous editions in collecting original work on the science and engineering of programming microservices. We seek to collect original work on the science and engineering of programming microservices which including but not limited to evolutive and agile architectures, methods and tools, patterns, operations practices and DevOps, agile teams, programming languages and techniques for microservices, software quality aspects, metrics and software analytics, verification, test-driven approaches and testing, architectural refactoring, empirical studies and experience reports on microservice adoption and teaching. The topics include (but are not limited to): * Using microservices to enable an evolutive and agile architecture. * Software engineering methods and tools for microservices. * Patterns for microservices design and development. * Operations practices for microservices and DevOps support. * Impact of microservices’ usage on agile teams and processes. * Programming languages and techniques for microservices. * Combining microservices with other architectural styles. * Achieving software qualities, e.g., security, maintainability, and deployability. * Metrics and software analytics in microservices architectures. * Verification of microservice architectures. * Test-driven approaches and testing in microservices development. * Refactoring in the context of microservices architectures. * Empirical studies on microservices. * Experience reports on microservice adoption and teaching. Important dates are as follows: * Workshop paper submission: September 26, 2024 * Authors notification: October 24, 2024 * Camera-ready version: October 31, 2024 Please check out our website (https://amp-workshops.github.io/) for more information. Best wishes Sandro -------------- next part -------------- An HTML attachment was scrubbed... URL: From zimmer at informatik.uni-halle.de Fri Aug 30 11:26:02 2024 From: zimmer at informatik.uni-halle.de (Prof. Dr. Wolf Zimmermann) Date: Fri, 30 Aug 2024 11:26:02 +0200 Subject: [fg-arc] Call for Papers: ESOCC 2025 Message-ID: <6bbe7bc9-b446-4797-9e29-afdb341d8574@informatik.uni-halle.de> ESOCC 2025 – Call for Papers Nowadays, Service-Oriented and Cloud Computing are the mainstream approaches to building large-scale distributed systems and delivering software services to end users. Cloud-native software is pervading the delivery of enterprise applications, which are comprised of microservices. Microservices can be independently developed and deployed by exploiting multiple heterogeneous technologies. The resulting systems might be polyglot service compositions that can then be shipped in serverful or serverless platforms (e.g., using virtualization technologies). These characteristics make Service-Oriented and Cloud Computing the natural answers to the industry’s need for flexibly scalable and maintainable enterprise applications that can be delivered through state-of-the-art methodologies like DevOps. To further support this, researchers and practitioners need to create methods, tools, and techniques to support cost-effective and secure development as well as the use of dependable devices, platforms, services, and Service-Oriented applications in the Cloud, now also considering the Cloud-IoT computing continuum to exploit widespread adoption of smart connected things and the increasing growth of their computing capabilities. The European Conference on Service-Oriented and Cloud Computing (ESOCC) is the premier conference on advances in the state-of-the-art and practice of Service-Oriented Computing and Cloud Computing in Europe. ESOCC aims to facilitate the exchange between researchers and practitioners in the areas of Service-Oriented Computing and Cloud Computing, as well as to explore the new trends in those areas and foster future collaborations in Europe and beyond. Topics of Interest ESOCC 2025 seeks original, high-quality contributions related to all aspects of Service-Oriented and Cloud computing. Specific topics of interest include, but are not limited to: – Applications for Service-Oriented and Cloud Computing, e.g., big data, commerce, energy, finance, health, scientific computing, smart cities – Blockchains for Service-Oriented and Cloud Computing – Business aspects of Service-Oriented and Cloud Computing, e.g., business models, brokerage, marketplaces, costs, pricing – Business processes, e.g., service-based workflow deployment and management – Cloud interoperability, service, and Cloud standards, – Cloud-IoT computing continuum, e.g., edge computing, fog computing, mobility computing, next generation services/IoT – Cloud-native architectures and paradigms, e.g., microservices and DevOps – Cloud service models, e.g., IaaS, PaaS, SaaS, DBaaS, FaaS, etc. – Deployment, composition, and management of applications in Service-Oriented and Cloud Computing – Foundations and formal methods for Service-Oriented and Cloud Computing – Enablers for Service-Oriented and Cloud Computing, e.g., service discovery, orchestration, matchmaking, monitoring, and analytics – Model-Driven Engineering for Service-Oriented and Cloud Computing – Multi-Cloud, cross-Cloud, and federated Cloud solutions – Requirements engineering, design, development, and testing of applications in Service-Oriented and Cloud Computing – Semantic services and service mining – Service-Oriented and Cloud-native system analysis and decomposition – Generative AI and Machine learning approaches in the context of Service-Oriented and Cloud-native systems – Service and Cloud middlewares and platforms – Software/service adaptation and evolution in Service-Oriented and Cloud Computing – Storage, computation and network Clouds – Sustainability and energy issues in Service-Oriented and Cloud Computing – Quality aspects (e.g., governance, privacy, security, and trust) of Service-Oriented and Cloud Computing – Quality of Service (QoS) and Service-Level Agreement (SLA) for Service-Oriented and Cloud Computing – Social aspects of Service-Oriented and Cloud Computing, e.g., crowdsourcing services, social and crowd-based Clouds – Virtualization for Service-Oriented and Cloud Computing, e.g., serverless, container-based virtualization, VMs Important Dates Submission of abstracts: September 7, 2024 (AoE) Submission of full papers: September 15, 2024 (AoE) Notification to authors: November  15, 2024 (AoE) Camera-ready versions due: December 01, 2024 (AoE) Post proceeding opportunity A journal special issue is planned at Springer Journal on Cluster Computing (Impact factor 4.4 as of 2022). Authors of selected accepted papers will be invited to submit extended versions of their articles. Submissions ESOCC 2025 invites submissions of the following kinds: – Regular Research Papers (15 pages, including references) – PhD Symposium (12 pages including references) – Projects and Industry Reports (Projects and Industry Reports - 1 to 6 pages including references, describing an ongoing EU or national project, or providing industrial perspectives on innovative applications, technologies, or methods in ESOCC’s scope) We only accept original papers not submitted for publication elsewhere. The papers must be formatted according to the proceedings guidelines of Springer’s Lecture Notes in Computer Science (LNCS) series (http://www.springer.com/lncs). They must be submitted to the EasyChair site at https://easychair.org/conferences/?conf=esocc2025 by selecting the right track. Accepted papers from all tracks will be published in the main conference proceedings by Springer in the LNCS series. For publication to happen, at least one author of each accepted paper is expected to register and present the work at the conference. For further details, refer to the conference website at https://conf.researchr.org/home/esocc-2025 and for any further queries, please contact the chairs. Tomas Cerny and Valentina Lenarduzzi ESOCC2025 Program co-chairs From giuseppe.mazzotta at unical.it Wed Aug 28 11:03:23 2024 From: giuseppe.mazzotta at unical.it (giuseppe.mazzotta at unical.it) Date: Wed, 28 Aug 2024 11:03:23 +0200 Subject: [fg-arc] [LPNMR 2024] CALL FOR PARTICIPATION Message-ID: <69B8930D-04E0-4B39-8D7D-77A4FBF33F8D@unical.it> > > [Apologies in case of multiple posting] > > > CALL FOR PARTICIPATION > -------------------------------------------------------------------------------------------- > > 17th International Conference on > Logic Programming and Non-monotonic Reasoning > LPNMR 2024 > > https://lpnmr2024.demacs.unical.it > lpnmr2024 at easychair.org > > Dallas, Texas, USA > October 11-14, 2024 > > ----------------------------------------------------------------------------------------------- > > AIMS AND SCOPE > > LPNMR 2024 is the seventeenth in the series of international meetings > on logic programming and non-monotonic reasoning. LPNMR is a forum > for exchanging ideas on declarative logic programming, non-monotonic > reasoning, and knowledge representation. The aim of the conference is > to facilitate interactions between researchers and practitioners > interested in the design and implementation of logic-based programming > languages and database systems, and those working in knowledge > representation and non-monotonic reasoning. LPNMR strives to encompass > theoretical and experimental studies that have led or will lead to > advances in declarative programming and knowledge representation, as > well as their use in practical applications. A Doctoral Consortium > will also be a part of the program. > > LPNMR 2024 aims to bring together researchers from LPNMR core areas and > application areas of the aforementioned kind in order to share research experiences, > promote collaboration and identify directions for joint future research. > > LPNMR 2024 is co-located with ICLP 2024. > > REGISTRATION > Early registration deadline is September 12th, 2024. For more information, visit: > https://www.iclp24.utdallas.edu/registration/ > > We remind that at least one author of each accepted paper must early register > in order to have the paper included in the proceedings. > > A discounted fee is available for participants attending both LPNMR and ICLP. > > PROGRAM > Accepted papers are available at: > https://lpnmr2024.demacs.unical.it/programme/accepted-papers > > A tentative schedule is available at: > https://lpnmr2024.demacs.unical.it/programme/schedule > > INVITED SPEAKERS > > October 12, Veronica Dahl > October 13, Torsten Schaub > October 14, Moshe Vardi > > ASSOCIATED EVENTS > > - 5th International Workshop on the Resurgence of Datalog in Academia and Industry > (DATALOG 2.0) > - ICLP/LPNMR Doctoral Consortium 2024 > > VENUE > > LPNMR 2024 will be held on the campus of the University of Texas at Dallas in October 2024. Dallas, part of the Dallas/Fort-Worth metroplex, is a dynamic city with great tourist attractions. Renowned for its unique blend of modernity and rich cultural heritage, Dallas offers an array of attractions for visitors: from diverse range of museums, such as the Dallas Museum of Art and the Perot Museum of Nature and Science, to the Fort Worth Stockyards that feature the Cattle Drive (twice daily). Dallas boasts a thriving culinary scene, from sizzling steakhouses to trendy food trucks, to authentic Tex-Mex cuisine. With a wealth of entertainment options, including shopping districts, live music venues, and sports events, a visit to Dallas is a memorable experience. > > The conference will be held as an in-person event. > > GENERAL CHAIR > > Gopal Gupta, The University of Texas at Dallas > > > PROGRAM CHAIRS > > Carmine Dodaro, University of Calabria, Italy > M. Vanina Martinez, IIIA-CSIC, Spain > > > PUBLICITY CHAIR > > Giuseppe Mazzotta, University of Calabria, Italy > > > WORKSHOPS CHAIR > > Gerardo Simari, Universidad Nacional del Sur, Argentina > > > DOCTORAL CONSORTIUM CHAIR > > Francesco Fabiano, New Mexico State University > Martin Gebser, University of Klagenfurt, Austria > > PROGRAM COMMITTEE > > Mario Alviano, University of Calabria > Marcello Balduccini, Saint Joseph's University > Pedro Cabalar, University of Corunna > Francesco Calimeri, University of Calabria > Vicent Costa, IIIA-CSIC > Stefania Costantini, Università dell'Aquila > Marina De Vos, University of Bath > Esra Erdem, Sabanci University > Wolfgang Faber, Alpen-Adria-Universität Klagenfurt > Johannes K. Fichte, Linköping University > Gerhard Friedrich, Alpen-Adria-Universität Klagenfurt > Sarah Alice Gaggl, TU Dresden > Martin Gebser, Alpen-Adria-Universität Klagenfurt > Daniela Inclezan, Miami University > Tomi Janhunen, Tampere University > Matthias Knorr, Universidade NOVA de Lisboa > Joao Leite, Universidade NOVA de Lisboa > Vladimir Lifschitz, The University of Texas at Austin > Marco Maratea, University of Genova > Giuseppe Mazzotta, University of Calabria > Enrico Pontelli, New Mexico State University > Francesco Ricca, University of Calabria > Orkunt Sabuncu, Potassco Solutions Turkey > Chiaki Sakama, Wakayama University > Torsten Schaub, University of Potsdam > Guillermo R. Simari, Universidad del Sur in Bahia Blanca > Theresa Swift, Universidade Nova de Lisboa > Alice Tarzariol, Alpen-Adria-Universität Klagenfurt > Daniele Theseider Dupre, Università del Piemonte Orientale > Matthias Thimm, Fern Universität in Hagen > Hans Tompits, TU Wien > Mirek Truszczynski, University of Kentucky > Johannes P. Wallner, TU Graz > Kewen Wang, Griffith University > Stefan Woltran, TU Wien > Jia-Huai You, University of Alberta > Jessica Zangari, University of Calabria > -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria -------------- next part -------------- An HTML attachment was scrubbed... URL: