From carla.ferreira at fct.unl.pt Sat Jun 3 00:55:56 2023 From: carla.ferreira at fct.unl.pt (Carla Ferreira) Date: Sat, 3 Jun 2023 00:55:56 +0200 Subject: [fg-arc] =?utf-8?q?Deadline_Extension=3A_CfP_SEFM=E2=80=9923=2C_?= =?utf-8?q?16_June?= Message-ID: Dear Colleague, The deadline for SEFM'23 (21st Int. Conf. on Software Engineering and Formal Methods) has been extended. The new dates are: Abstract submission: 16 June 2023 (AoE) Paper submission: 23 June 2023 (AoE) Artifact submission (tool papers): 30 June 2023 (AoE) Artifact submission (regular papers): 30 June 2023 (AoE) ************************************************************************ Call for Papers - SEFM'23 21st Int. Conf. on Software Engineering and Formal Methods 8-10 November 2023 Up-to-date information: https://sefm-conference.github.io/2023/ ************************************************************************ SEFM'23 will be held at Eindhoven University of Technology, from Nov. 8 - 10, 2023, with workshops on Nov. 6 and 7. IMPORTANT DATES: Abstract submission: 16 June 2023 (AoE) Paper submission: 23 June 2023 (AoE) Notification: 18 August 2023 Camera-ready submission: 10 September 2023 Conference: 8 – 10 November 2023 OVERVIEW AND SCOPE The conference aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. The topics of interest include, but are not limited to, the following aspects of software engineering and formal methods. # Software Development Methods - Formal modelling, specification, and design - Software evolution, maintenance, re-engineering, and reuse # Design Principles - Programming languages - Domain-specific languages - Type theory - Abstraction and refinement # Software Testing, Validation, and Verification - Model checking, theorem proving, and decision procedures - Testing and runtime verification - Statistical and probabilistic analysis - Synthesis - Performance estimation and analysis of other non-functional properties - Other light-weight and scalable formal methods # Security and Safety - Security, privacy, and trust - Safety-critical, fault-tolerant, and secure systems - Software certification # Applications and Technology Transfer - Service-oriented and cloud computing systems, Internet of Things - Component, object, multi-agent, and self-adaptive systems - Real-time, hybrid, and cyber-physical systems - Intelligent systems and machine learning - HCI, interactive systems, and human error analysis - Education # Case studies, best practices, and experience reports PAPER SUBMISSION We solicit two categories of papers: Regular papers describing original research results, case studies, or surveys, should not exceed 16 pages (excluding bibliography of at most two pages). Tool papers that describe an operational tool and its contributions should not exceed 8 pages (including bibliography of at most one page). Papers must be formatted according to the guidelines for Springer LNCS papers (see http://www.springer.com/lncs). Submission site: https://easychair.org/conferences/?conf=sefm2023. ARTEFACT EVALUATION This edition of SEFM introduces an artefact evaluation (AE). An artefact contains any necessary material to support the claims made in the paper and ideally makes the results fully reproducible. Submission of an artefact is optional for regular papers and mandatory for tool papers. The artefacts will be judged by the Artefact Evaluation Committee (AEC). Artefacts can be submitted up-to one week after the paper submission deadline. PUBLICATION All accepted papers will appear in the proceedings of the conference that will be published as a volume in Springer's LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to special issues of the journal "Software and Systems Modeling" (SoSyM). PROGRAMME COMMITTEE Mario Bravetti, University of Bologna Julien Brunel, ONERA Radu Calinescu, University of York Taolue Chen, Birkbeck, University of London Rance Cleaveland, University of Maryland Loek Cleophas, TU Eindhoven and Stellenbosch University Alcino Cunha, University of Minho Carla Ferreira, Universidade NOVA de Lisboa (co-chair) Adrian Francalanza, University of Malta Hubert Garavel, INRIA Silvia Ghilezan, University of Novi Sad, Mathematical Institute SASA Christian Johansen, Norwegian University of Science and Technology Daniela Kaufmann, TU Wien Zhiming Liu, Southwest University Burcu Kulahcioglu Ozkan, Delft University of Technology Marjan Mernik, University of Maribor Charles Morisset, Newcastle University Stephan Merz, Inria Nancy Rocco De Nicola, IMT - School for Advanced Studies Lucca Peter Ölveczky, University of Oslo Jovanka Pantovic, University of Novi Sad, Faculty of Technical Sciences Gwen Salaün, Université Grenoble Alpes Augusto Sampaio, Federal university of Pernambuco Marjan Sirjani, Malardalen University Ana Sokolova, University of Salzburg Pierre-Yves Schobbens, University of Namur Bernardo Toninho, Universidade Nova de Lisboa and NOVA-LINCS Rolando Trujillo, Universitat Rovira i Virgili (URV) Tim Willemse, Eindhoven University of Technology (co-chair) ************************************************************************ Best wishes, Carla Ferreira Department of Computer Science, NOVA University Lisbon, Portugal Tim Willemse Department of Computer Science & Mathematics Eindhoven University of Technology, The Netherlands From taravanis at upatras.gr Sun Jun 4 16:55:07 2023 From: taravanis at upatras.gr (Theofanis I. Aravanis) Date: Sun, 04 Jun 2023 17:55:07 +0300 Subject: [fg-arc] KR 2023 - Extension of Workshops Paper Submission Deadlines up to 12 June, 2023! Message-ID: <87ed6832b8bec9c2725936d1304aa4ae@upatras.gr> 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 September 2 - September 8, 2023, Rhodes, Greece We are happy to announce that KR 2023 will be accompanied by the following high-class Workshops, which have extended their submission deadline up to 12 June, 2023! 4th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2023) Franz Baader, Bart Bogaerts, Gerhard Brewka, Joerg Hoffmann, Thomas Lukasiewicz, Nico Potyka, Francesca Toni First International Workshop on Argumentation and Applications (Arg&App 2023) Oana Cocarascu, Sylvie Doutre, Jean-Guy Mailly, Antonio Rago The Second Workshop on Knowledge Diversity (KoDis) Lucía Gómez Alvarez, Rafael Peñaloza, Srdjan Vesic CME: the 2nd International Workshop on Computational Machine Ethics Maurice Pagnucco, Yang Song, Louise Dennis Graphical Reasoning with Imperfect Data (GRID) Sihem Belabbes, Juergen Landes The Seventh Image Schema Day (ISD7) Maria M. Hedblom, Oliver Kutz AI-driven Heterogeneous Data Management : Completing, Merging, Handling Inconsistencies and Query-answering (ENIGMA-2023) Salem Benferhat, Giovanni Casini, Andrea Tettamanzi, Thomas Meyer Cognitive Aspects of Knowledge Representation (CAKR) Jesse Heyninck, Thomas Meyer Further details can be found at: https://kr.org/KR2023/workshops-and-tutorials/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From cposkitt at smu.edu.sg Mon Jun 5 08:58:38 2023 From: cposkitt at smu.edu.sg (Christopher Michael POSKITT) Date: Mon, 5 Jun 2023 06:58:38 +0000 Subject: [fg-arc] Call for Participation :: ICGT'23 (16th International Conference on Graph Transformation) Message-ID: SMU Classification: Restricted [apologies for cross-posting] ***** CALL FOR PARTICIPATION ***** ================================================================= 16th International Conference on Graph Transformation (ICGT 2023) web: https://conf.researchr.org/home/icgt-2023 19-20 July in Leicester, UK, as part of STAF 2023 web: https://conf.researchr.org/home/staf-2023 ================================================================= ** ABOUT ** The International Conference on Graph Transformation aims at fostering exchange and collaboration of researchers from different backgrounds working with graphs and graph transformation, either in contributing to their theoretical foundations or by applying established formalisms to classical or novel areas. The conference not only serves as a well-established scientific publication outlet, but also as a platform to boost inter- and intra-disciplinary research and to leeway for new ideas. The 16th International Conference on Graph Transformation (ICGT 2023) will be held in Leicester, UK, as part of STAF 2023 (Software Technologies: Applications and Foundations). The conference takes place under the auspices of EASST, EATCS and IFIP WG 1.3. Proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. --------------------------------------- ** REGISTRATION ** Registration details are available on the STAF'23 webpage: https://conf.researchr.org/attending/staf-2023/registration Early bird registration ends on **14th June**. Accommodation (limited supply) is available at the conference venue for the heavily discounted price of £40/night. --------------------------------------- ** KEYNOTES ** We are delighted to announce two keynote speakers at ICGT'23: * Dan Ghica, Huawei Research and University of Birmingham (UK) * Mohammad Abdulaziz, King’s College London (UK) Details of the talks will be shared on the website soon: https://conf.researchr.org/track/icgt-2023/icgt-2023-keynotes --------------------------------------- ** PROGRAMME ** The ICGT'23 programme features 19 talks in addition to the keynotes: https://conf.researchr.org/program/icgt-2023/program-icgt-2023/ The papers cover a wide spectrum, including theoretical approaches to graph transformation, logic and verification for graph transformation, and model transformation, as well as the application of graph transformation in new areas such as bond graphs and graph neural networks. ICGT'23 is co-located with ECMFA, TAP, and several relevant workshops: https://conf.researchr.org/info/staf-2023/schedule --------------------------------------- ** CONTACT ** For more details contact the PC chairs by email: cposkitt at smu.edu.sg; maribel.fernandez at kcl.ac.uk --------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Mon Jun 5 09:21:15 2023 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Mon, 05 Jun 2023 09:21:15 +0200 Subject: [fg-arc] =?utf-8?q?=5BOM-2023=5D_1st_CFP=3A_18th_workshop_on_Ont?= =?utf-8?q?ology_Matching_collocated_with_ISWC?= Message-ID: <27c11e-647d8d00-3b-7a25a400@209957154> The 18th International Workshop on ONTOLOGY MATCHING (OM-2023) http://om2023.ontologymatching.org/ November 6th or 7th, 2023, International Semantic Web Conference (ISWC) Workshop Program, M.A.I.C.C., Athens, Greece 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) 2023 campaign: http://oaei.ontologymatching.org/2023/ 3. To examine similarities and differences from other, old, new and emerging, techniques and usages, such as web table matching or knowledge embeddings. 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; 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 2023 campaign. Long technical papers should be of max. 12 pages. Short technical papers should be of max. 6 pages. Posters/statements of interest should not exceed 3 pages. All contributions have to be prepared using the CEUR-ART, 1-column style. Overleaf page for LaTeX users is available at https://www.overleaf.com/read/gwhxnqcghhdt, while offline version with the style files is available from http://ceur-ws.org/Vol-XXX/CEURART.zip. Submissions should be uploaded in PDF format through the workshop submission site at: https://www.easychair.org/conferences/?conf=om2023 Contributors to the OAEI 2023 campaign have to follow the campaign conditions and schedule at http://oaei.ontologymatching.org/2023/. DATES FOR TECHNICAL PAPERS AND POSTERS: July 31st, 2023: Deadline for the submission of papers. August 28th, 2023: Deadline for the notification of acceptance/rejection. September 4th, 2023: Workshop camera ready copy submission. November 6th or 7th, 2023: OM-2023, M.A.I.C.C., Athens, Greece. 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: Alsayed Algergawy, Jena University, Germany Manuel Atencia, Universidad de Málaga, Spain Jiaoyan Chen, University of Oxford, UK Jérôme David, University Grenoble Alpes & INRIA, France Gayo Diallo, University of Bordeaux, France Daniel Faria, INESC-ID&IST, University of Lisbon, Portugal Alfio Ferrara, University of Milan, Italy Marko Gulić, 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 Fiona McNeill, University of Edinburgh, UK Hoa Ngo, CSIRO, Australia George Papadakis, University of Athens, Greece Catia Pesquita, University of Lisbon, Portugal Henry Rosales-Méndez, University of Chile, Chile Booma Sowkarthiga, Microsoft, USA Kavitha Srinivas, IBM, USA Giorgos Stoilos, University of Oxford, UK Valentina Tamma, University of Liverpool, UK Ludger van Elst, DFKI, Germany Xingsi Xue, Fujian University of Technology, China Ondřej Zamazal, Prague University of Economics, Czech Republic Songmao Zhang, Chinese Academy of Sciences, China Lu Zhou, TigerGraph, USA ------------------------------------------------------- More about ontology matching: http://www.ontologymatching.org/ http://book.ontologymatching.org/ ------------------------------------------------------- Best Regards, Cassia From sebastian.goetz1 at tu-dresden.de Mon Jun 5 10:12:39 2023 From: sebastian.goetz1 at tu-dresden.de (Sebastian Goetz) Date: Mon, 5 Jun 2023 08:12:39 +0000 Subject: [fg-arc] CFP: 16th International Workshop on Models@run.time Message-ID: Call for Papers: 16th International Workshop on Models at run.time In conjunction with ACSOS 2023 Toronto, Canada, 25th-29th September 2023 https://2023.acsos.org/ == Important Dates (AoE) == Deadline Submission: Sunday, July 9th Notification of acceptance: Sunday, July 23rd Camera ready deadline: Saturday, August 5th Workshop at ACSOS: Monday, September 25th == Motivation == The complexity of adapting software during runtime has spawned interest in how models can be used to validate, monitor and adapt runtime behaviour. The use of models during runtime extends the use of modelling techniques beyond the design and implementation phases. The goal of this workshop is to look at issues related to developing appropriate model-driven approaches to managing and monitoring the execution of systems. We aim to continue the discussion of research ideas and proposals from researchers who work in relevant areas such as MDE, software architectures, reflection, and autonomic and self-adaptive systems, and provide a "state-of-the-art" research assessment expressed in terms of challenges and achievements. The objectives of this year's edition of the models at run.time workshop are: a) to foster work on novel topics covering fundamental as well as applied research on models at run.time or, in general, work that attempts to apply model-driven techniques at runtime, b) to bring together researchers from the model-driven software development community and ACSOS community and c) to discuss the applicability of research results on models at run.time to industrial case studies. A literature survey on models at run.time has been published in the Software and Systems Modelling Journal in 2019 (https://link.springer.com/article/10.1007/s10270-018-00712-x). This work now has been updated with publications until 2022. As a result, this year, we (i) strengthen the focus of the workshop on new hot topics, which are at an early stage of research, and call for new types of submissions as described below. == Topics of Interest == Papers on models at run.time can relate (but are not limited) to the following domains: - Learning Models/AI: runtime models learned using techniques such as Machine Learning and Bayesian Learning/Inference. - Self-modelling: approaches able to derive runtime models on-the-fly - Self-aware, Reflective, and Cognitive Computing making use of runtime models - Self-Organization, Self-Adaptation, and Organic Computing making use of runtime models - Big Data: application of models at run.time to (i) reflect and adapt the architecture of components involved in big data processing, and (ii) select source and data (data management) to help achieve the system's goals - Cyber-physical Systems: hybrid runtime models, e.g., based on Modelica or Ptolemy - Cloud Computing and DevOps: runtime models for, e.g., multi-tenant systems - Control theory: approaches applying runtime models in the context of control theory - Application to other sciences: including, e.g., biology, chemistry, sociology and psychology We strongly encourage authors to address the following topics in their papers: - The causal connection between the system and the runtime model, with particular focus on a transaction concept for this causal connection (timing, roll-back ability and data-consistency) - Distributed models at run.time, i.e., having multiple, interacting systems, each having an own runtime model - Modular models at run.time, i.e., approaches to improve the modularity of models at run.time systems - Co-evolving models at run.time, i.e., systematic approaches to synchronize multiple, interacting models at run.time systems - No papers on executable models, unless they are causally (bi-)connected to a running system == Submissions == The workshop participants will be selected based on their experience and ideas related to this maturing field. You are invited to apply for attendance by sending a full paper (6 pages) on original research, lessons learned from realizing an approach or experiences on transferring a research prototype into practice. Additionally, you can apply for a lighting talk to present yourself to the community by submitting an abstract only, which will not be published. All papers must conform to the IEEE formatting guidelines, which can be found at: https://www.ieee.org/conferences/publishing/templates.html. At least three PC members will review each submission. The authors will be notified about acceptance before the ACSOS 2023 early registration deadline. You can submit your papers via EasyChair: https://easychair.org/conferences/?conf=mrt23. All papers will be published as IEEE proceedings. == Program Committee == - Luciano Baresi, Politecnico di Milano - Thais Batista, Federal University of Rio Grande do Norte - Carlos Cetina, San Jorge University - Antonio Cicchetti, Mälardalen University - Federico Ciccozzi, Mälardalen University - Peter Clarke, Florida International University - Fabio Costa, Federal University of Goias - Martina De Sanctis, Gran Sasso Science Institute - GSSI - Nikolaos Georgantas, INRIA - Ta'Id Holmes, Google - Mahdi Manesh, Porsche Digital GmbH - Lionel Seinturier, University of Lille - Rui Silva Moreira, Universidade Fernando Pessoa & INESC Porto - Matthias Tichy, Ulm University - Norha M. Villegas, Universidad Icesi, Cali, Colombia - Manuel Wimmer, Johannes Kepler University Linz - Uwe Zdun, University of Vienna == Organizers == - Sebastian Götz, Technische Universität Dresden, Germany - Nelly Bencomo, Durham Universiy, UK -- Dr.-Ing. Sebastian Götz Researcher (tenured) Technische Universität Dresden Fakultät für Informatik Institut für Software- und Multimediatechnik Lehrstuhl für Softwaretechnologie www: http://www.st.inf.tu-dresden.de/ Mail: sebastian.goetz at acm.org Kontakt: INF 2084 Tel.: +49 351 463 38346 jExam Group www: http://www.jexam.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Mon Jun 5 11:42:31 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Mon, 5 Jun 2023 12:42:31 +0300 Subject: [fg-arc] 10th European Conference On Service-Oriented And Cloud Computing (ESOCC 2023): Final Call for Submissions Message-ID: *** Final Call for Submissions *** 10th European Conference On Service-Oriented And Cloud Computing (ESOCC 2023) October 24-26, 2023, Golden Bay Beach Hotel, Larnaca, Cyprus https://cyprusconferences.org/esocc2023/ (Proceedings to be published in Springer LNCS; Journal Special Issue with Springer Computing) Submission Deadline: Abstracts by June 25, 2023; Full Papers by July 2, 2023 AIM AND SCOPE Nowadays, Service-Oriented and Cloud Computing are the primary approaches to build large-scale distributed systems and deliver software services to end users. Cloud-native software is pervading the delivery of enterprise applications, as they are composed of (micro)services that can be independently developed and deployed by exploiting multiple heterogeneous technologies. Resulting applications are 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 for fulfilling the industry’s need for flexibly scalable and maintainable enterprise applications, to 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 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 2023 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 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: June 25th, 2023 (AoE)
• Submission of full papers: July 2nd, 2023 (AoE)
• Notification to authors: August 4th, 2023 (AoE)
• Camera-ready versions due: August 21st, 2023 (AoE) • Author registration due: August 21st, 2023 (AoE) TYPES OF SUBMISSIONS ESOCC 2023 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=esocc2023  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. The best papers accepted will be invited to submit extended versions for a Journal Special Issue to be published by Springer Computing. ORGANISATION General Chair • George A. Papadopoulos, University of Cyprus, CY (george at ucy.ac.cy)   Program Chairs • Florian Rademacher, University of Applied Sciences and Arts Dortmund, DE (florian.rademacher at fh-dortmund.de)
• Jacopo Soldani, University of Pisa, IT (jacopo.soldani at unipi.it) Steering and Program Committee https://cyprusconferences.org/esocc2023/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Mon Jun 12 13:45:29 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Mon, 12 Jun 2023 14:45:29 +0300 Subject: [fg-arc] 19th IEEE eScience Conference (eScience 2023): Last Mile for Paper Submission Message-ID: *** Last Mile for Paper Submission *** 19th IEEE eScience Conference (eScience 2023) October 9-13, 2023, St. Raphael Resort, Limassol, Cyprus https://www.escience-conference.org/2023/ (*** Submission Deadline Extension: June 19, 2023, AoE, FIRM!) eScience 2023 provides an interdisciplinary forum for researchers, developers, and users of eScience applications and enabling IT technologies. Its objective is to promote and encourage all aspects of eScience and its associated technologies, applications, algorithms, and tools, with a strong focus on practical solutions and open challenges. The conference welcomes conceptualization, implementation, and experience contributions enabling and driving innovation in data- and compute-intensive research across all disciplines, from the physical and biological sciences to the social sciences, arts, and humanities; encompassing artificial intelligence and machine learning methods; and targeting a broad spectrum of architectures, including HPC, Cloud, and IoT. The overarching theme of the eScience 2023 conference is “open eScience”. This year, the conference is promoting four additional key topics: • Computational Science for sustainable development • FAIR • Research Infrastructures for eScience • Continuum Computing: Convergence between Cloud Computing and the Internet of Things (IoT) The conference is soliciting two types of contributions: • Full papers (10 pages) presenting previously unpublished research achievements or eScience experiences and solutions • Posters (2 pages) showcasing early-stage results and innovations Submitted papers should use the IEEE 8.5×11 manuscript guidelines: double-column text using single-spaced 10-point font on 8.5×11-inch pages. Templates are available from http://www.ieee.org/conferences_events/conferences/publishing/templates.html . Submissions should be made via the Easy Chair system using the submission link: https://easychair.org/conferences/?conf=escience2023 . All submissions will be single-blind peer reviewed. Selected full papers will receive a slot for an oral presentation. Accepted posters will be presented during a poster reception. Accepted full papers and poster papers will be published in the conference proceedings. Rejected full papers can be re-submitted for a poster presentation. At least one author of each accepted paper or poster must register as an author at the full registration rate. Each author registration can be applied to only one accepted submission. AWARDS eScience 2023 will host the following awards, which will be announced at the conference. • Best Paper Award • Best Student Paper Award • Best Poster Award • Best Student Poster Award • Outstanding Early Career Contribution – this award is associated with poster submissions and short presentations of attendees in their early career phase (i.e., postdoctoral researchers and junior scientists). KEY DATES • Paper Submissions Due: June 19, 2023 (AoE) (FIRM!) • Notification of Paper Acceptance: July 10, 2023 • Poster Submissions due: July 7, 2023 (AoE) • Poster Acceptance Notification: July 24, 2023 • All Camera-ready Submissions due: August 14, 2023 • Author Registration Deadline: August 14, 2023 ORGANISATION General Chair • George Angelos Papadopoulos, University of Cyprus, Cyprus Technical Program Co-Chairs • Rafael Ferreira da Silva, Oak Ridge National Laboratory, USA • Rosa Filgueira, University of St Andrews, UK Organisation Committee https://www.escience-conference.org/2023/organizers Steering Committee https://www.escience-conference.org/about/#steering-committee Email contact: Technical-Program at eScience-conference.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From shang at encs.concordia.ca Fri Jun 16 16:40:28 2023 From: shang at encs.concordia.ca (Weiyi(Ian) Shang) Date: Fri, 16 Jun 2023 10:40:28 -0400 Subject: [fg-arc] Call-for-Nominations: SPEC Kaivalya Dixit Distinguished Dissertation Award 2023 Message-ID: The SPEC Kaivalya Dixit Distinguished Dissertation Award aims to recognize outstanding doctoral dissertations in the field of computer benchmarking, performance evaluation, and experimental system analysis in general. Nominated dissertations will be evaluated in terms of scientific originality, scientific significance, practical relevance, impact, and quality of the presentation. The SPEC Research Group promotes research in quantitative system evaluation and analysis both with classical performance metrics – such as response time, throughput, scalability and efficiency, as well as other extra-functional system properties included under the term dependability – such as availability, reliability, and security. Contributions of interest span the design of metrics for system evaluation as well as the development of methodologies, techniques and tools for measurement, load testing, profiling, workload characterization, dependability and efficiency evaluation of computing systems. The winner will receive $1000, which will be awarded at the ACM/SPEC International Conference on Performance Engineering (ICPE 2024). Nomination Guidelines A nomination consists of one PDF file less than 20MB that must include the following information in this order: A nomination letter with the name of the student, the title of the dissertation, the institution where the dissertation was defended, and the date of the defense. The nomination letter should outline the outstanding contributions of the dissertation and should not exceed 2 pages (letter size) using 11 point font. A C.V. of the nominee (up to three pages) that clearly marks all publications/technical reports that are included in the dissertation. The dissertation itself, including a one-page extended abstract of the dissertation. The dissertation may be accompanied by publications describing the same research as the dissertation. However, the dissertation itself also needs to be submitted. SPEC Kaivalya Dixit Distinguished Dissertation Award is open to dissertations defended between October 2021 and September 2023; a thesis can be nominated only once, which means that a 2022 thesis nominated in 2023 cannot be nominated again in 2024. If there are several outstanding submissions, the committee may choose to split the award. Nominations should be uploaded to EasyChair at URL: https://easychair.org/conferences/?conf=specaward2023. The submission system will open end of June, with a hard nomination deadline of October 20st, AOE. Nominations can be provided by anyone except the thesis author. Typically, it is the thesis advisor or a member of the thesis defense committee, but other people – especially experts in performance evaluation – can do so as well. List of Topics The SPEC Research Group promotes research in quantitative system evaluation and analysis both with classical performance metrics – such as response time, throughput, scalability and efficiency, as well as other extra-functional system properties included under the term dependability – such as availability, reliability, and security. Contributions of interest span the design of metrics for system evaluation as well as the development of methodologies, techniques and tools for measurement, load testing, profiling, workload characterization, dependability and efficiency evaluation of computing systems. Selection committee Cristina Abad (University in Guayaquil, Ecuador), selection committee chair Varsha Apte, IIT Bombay, India Valeria Cardellini, Università degli Studi di Roma "Tor Vergata", Italy David Daly, MongoDB, USA Anshul Gandhi, Stony Brook University, USA Klaus Lange, Hewlett Packard Enterprise (HPE), USA Arif Merchant, Google, USA Evgenia Smirni, William and Mary, USA Marco Vieira, University of Coimbra, Portugal Jan Vitek, Charles University, Czech Republic Contact All questions about submissions should be emailed to nominations at spec dot org. -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Mon Jun 19 09:05:43 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Mon, 19 Jun 2023 10:05:43 +0300 Subject: [fg-arc] 19th IEEE eScience Conference (eScience 2023): Combo Call for Workshop Papers Message-ID: *** Combo Call for Workshop Papers *** 19th IEEE eScience Conference (eScience 2023) October 9-13, 2023, St. Raphael Resort, Limassol, Cyprus https://www.escience-conference.org/2023/ The 19th IEEE eScience Conference will be held in Limassol, Cyprus on October 9-13, 2023. eScience 2023 will host a number of workshops which will be co-located with the main conference on Monday, October 9 and Tuesday, October 10, 2023. The eScience conference has a long history of hosting well-attended workshops. These workshops share the goal of bringing together international and interdisciplinary research communities, developers, and users of eScience applications and enabling IT technologies. Workshops play a crucial role in the conference by providing an opportunity for researchers and practitioners to present their work in a more focused way than the conference itself and to have in-depth discussions of particular topics of interest to the community. eScience 2023 will host the following workshops: ● 1st Workshop on cItizeN Science engagemenT based on Ict soLutions (INSTIL 2023) http://www.instil-science.eu ● 3rd Workshop on E-science ReseaRch leading tO negative Results (ERROR 2023) https://error-workshop.org ● 3rd Workshop on Reproducible Workflows, Data Management, and Security (ReWorDS 2023) https://sites.google.com/vols.utk.edu/rewords23/home ● 4th Global Research Platform (4GRP) Workshop https://www.theglobalresearchplatform.net ● IEEE International Workshop on Artificial Intelligence for Health (AI4Health 2023) https://www.ai4health.icar.cnr.it ● Research Software Engineers in eScience: Sustainable RSE Ecosystems within eScience (RSE-eScience-2023) https://us-rse.org/rse-escience-2023/ KEY DATES   ● Workshop papers submission deadline: Defined per workshop, not before end June 2023 ● Notification of acceptance: Defined per workshop ● IEEE proceedings camera ready: July 21, 2023 ● Workshop days: October 9-10, 2023   Deadlines refer to 23:59 in the AoE (Anywhere on Earth) time zone. ORGANISATION General Chair • George Angelos Papadopoulos, University of Cyprus, Cyprus Technical Program Co-Chairs • Rafael Ferreira da Silva, Oak Ridge National Laboratory, USA • Rosa Filgueira, University of St Andrews, UK Organisation Committee https://www.escience-conference.org/2023/organizers Steering Committee https://www.escience-conference.org/about/#steering-committee -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Tue Jun 20 08:38:26 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Tue, 20 Jun 2023 09:38:26 +0300 Subject: [fg-arc] 10th European Conference On Service-Oriented And Cloud Computing (ESOCC 2023): Last Mile for Paper Submission Message-ID: *** Last Mile for Paper Submission *** 10th European Conference On Service-Oriented And Cloud Computing (ESOCC 2023) October 24-26, 2023, Golden Bay Beach Hotel, Larnaca, Cyprus https://cyprusconferences.org/esocc2023/ (Proceedings to be published in Springer LNCS; Journal Special Issue with Springer Computing) Submission Deadline: Abstracts by June 25, 2023; Full Papers by July 2, 2023 AIM AND SCOPE Nowadays, Service-Oriented and Cloud Computing are the primary approaches to build large-scale distributed systems and deliver software services to end users. Cloud-native software is pervading the delivery of enterprise applications, as they are composed of (micro)services that can be independently developed and deployed by exploiting multiple heterogeneous technologies. Resulting applications are 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 for fulfilling the industry’s need for flexibly scalable and maintainable enterprise applications, to 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 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 2023 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 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: June 25th, 2023 (AoE) • Submission of full papers: July 2nd, 2023 (AoE) • Notification to authors: August 4th, 2023 (AoE) • Camera-ready versions due: August 21st, 2023 (AoE) • Author registration due: August 21st, 2023 (AoE) TYPES OF SUBMISSIONS ESOCC 2023 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=esocc2023  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. The best papers accepted will be invited to submit extended versions for a Journal Special Issue to be published by Springer Computing. ORGANISATION General Chair • George A. Papadopoulos, University of Cyprus, CY (george at ucy.ac.cy)   Program Chairs • Florian Rademacher, University of Applied Sciences and Arts Dortmund, DE (florian.rademacher at fh-dortmund.de) • Jacopo Soldani, University of Pisa, IT (jacopo.soldani at unipi.it) Steering and Program Committee https://cyprusconferences.org/esocc2023/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From robert.heinrich at kit.edu Tue Jun 20 17:13:49 2023 From: robert.heinrich at kit.edu (Heinrich, Robert (KASTEL)) Date: Tue, 20 Jun 2023 15:13:49 +0000 Subject: [fg-arc] CfP: 14th Symposium on Software Performance 2023 Message-ID: *** Call for Papers: 14th Symposium on Software Performance 2023 *** The 14th Symposium on Software Performance 2023 (SSP'23) takes place from 6th to 8th November in Karlsruhe, Germany. The Symposium on Software Performance (SSP) brings together researchers and practitioners interested in software performance, where "performance" is understood both in a classical sense as "the amount of useful work accomplished by a software system compared to the time and resources used", as well as in a broader sense as "the manner in which or the efficiency with which a software system reacts or fulfills its intended purpose". The scope of SSP spans measurement, modeling, benchmark design, and run-time management. We solicit technical papers (maximum 3 pages) and extended abstracts for industry or experience talks (maximum 700 words). Accepted papers will be published in the GI Softwaretechnik-Trends. Please see the full CfP: https://easychair.org/cfp/ssp23 More information is available on our website: https://www.performance-symposium.org/2023/ We look forward to your submission and to seeing you in Karlsruhe. Kind regards, The SSP'23 organization team -------------------------------------------------------------------- PD Dr. rer. nat. Robert Heinrich Head of Quality-driven System Evolution Research Group Karlsruhe Institute of Technology (KIT) KASTEL - Institute of Information Security and Dependability DSiS - Dependability of Software-intensive Systems group https://dsis.kastel.kit.edu/staff_robert_heinrich.php -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 6194 bytes Desc: not available URL: From andrea.rosa at usi.ch Wed Jun 21 14:42:56 2023 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Wed, 21 Jun 2023 12:42:56 +0000 Subject: [fg-arc] =?utf-8?q?Workshop_on_Virtual_Machines_and_Language_Imp?= =?utf-8?q?lementations_=28VMIL=E2=80=9923=29_-_Call_for_Papers?= Message-ID: <13124dab23234b4bbdc567411b5dc5f2@usi.ch> ======================================================================== Call for Papers Workshop on Virtual Machines and Language Implementations (VMIL’23) Co-located with SPLASH 2023 October 22-27, 2023, Cascais, Portugal https://2023.splashcon.org/home/vmil-2023 ======================================================================== The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues. The workshop is intended to be welcoming to a wide range of topics and perspectives, covering all areas relevant to the workshop’s theme. Aspects of interest include, but are not limited to: - design issues in VMs and IRs (e.g. IR design, VM modularity, polyglotism); - compilation (static and dynamic compilation strategies, optimizations, data representations); - memory management; - security considerations; - concurrency (both internal and user-facing); - performance engineering; - tool support and related infrastructure (profiling, debugging, liveness, persistence); - the experience of VM development (use of high-level languages, bootstrapping and self-hosting, reusability, portability, developer tooling, etc.); - empirical studies on related topics, such as usage patterns, the usability of languages or tools, experimental methodology, or benchmark design; - the use of VMs in teaching programming, programming languages, and programming language implementation. ---------------------------------- Submission Guidelines ---------------------------------- We invite high-quality papers in the following two categories: - Research and experience papers: These submissions should describe work that advances the current state of the art in the above or related areas. The suggested length of these submissions is 6–10 pages (maximum 10 pages, excluding references). - Work-in-progress or position papers: These papers should document ongoing efforts in an area of interest which have not yet yielded final results, and/or should present and defend the authors’ position on a topic related to the broad area of the workshop. The maximum length of these submissions is 6 pages, but we will consider shorter submissions (e.g. a well-written 2-page abstract). Submissions will be judged on novelty, clarity, timeliness, relevance, and potential to stimulate discussion during the workshop. The workshop has two submission deadlines. For the first submission deadline, all paper types are considered for publication in the ACM Digital Library, except if the authors prefer not to be included. Publication of work-in-progress and position papers at VMIL is not intended to preclude later publication elsewhere. For the second deadline, we will consider only work-in-progress and position papers. These will not be published in the ACM DL, and will only appear on the website. The address of the submission site is: https://vmil23.hotcrp.com ---------------------------------- Important Dates ---------------------------------- All deadlines are Anywhere on Earth (AoE), i.e., UTC-12h 2023-07-12: Abstract submission deadline (research and experience papers) 2023-07-17: Submission deadline (research and experience papers) 2023-07-27: Submission deadline (WIP and position papers only) 2023-08-24: Acceptance notification 2023-09-10: Camera-ready paper deadline ---------------------------------- Format Instructions ---------------------------------- Please use the SIGPLAN acmart style (`sigplan` option) for all papers: https://sigplan.org/Resources/Author/#acmart-format. The provided double-column template is available for Latex and Word. ---------------------------------- Organization ---------------------------------- PC Chairs: Andrea Rosà, Università della Svizzera italiana Martin Henz, National University Singapore Program Committee: Edd Barrett, King’s College London Rodrigo Bruno, INESC-ID / Técnico, ULisboa Juan Fumero, University of Manchester Christine H. Flood, Red Hat, Inc. Doug Lea, State University of New York (SUNY) Oswego Hidehiko Masuhara, Tokyo Institute of Technology Fabio Niephaus, Oracle Labs, Potsdam Guido Salvaneschi, University of St. Gallen Adam Welc, Uber Technologies ------------------------- Andrea Rosà Faculty of Informatics - Office D5.10 Università della Svizzera italiana (USI) Via la Santa 1 CH-6962 Viganello Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/postdoc/rosaa/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From michael at se-rwth.de Fri Jun 23 10:05:45 2023 From: michael at se-rwth.de (Michael, Judith) Date: Fri, 23 Jun 2023 08:05:45 +0000 Subject: [fg-arc] =?iso-8859-1?q?Konferenz_Modellierung_2024_=7C_Aufruf_z?= =?iso-8859-1?q?ur_Einreichung_von_Beitr=E4gen?= Message-ID: <52442f46f808469594af1ca91c98d2bb@se-rwth.de> -------------------------------------------------------------------------------- Modellierung 2024 12.-15.3.2024 | Hasso-Plattner-Institut, Potsdam | https://bpt.hpi.uni-potsdam.de/modellierung2024 Aufruf zur Einreichung von Beiträgen -------------------------------------------------------------------------------- Die vom Querschnittsfachausschuss Modellierung der Gesellschaft für Informatik seit 1998 organisierte Fachtagung "Modellierung" hat sich als Forum für Grundlagen, Methoden, Techniken, Werkzeuge sowie Domänen und Anwendungen der Modellierung etabliert. Fachexperten und -expertinnen tauschen sich in lebendigen Diskussionen über aktuelle Forschungsergebnisse und Trends in der Praxis aus. In diesem Jahr wird es neben den traditionellen Formaten für Einreichungen auch einen Journal/Conference First Track geben, bei dem Beiträge zu bereits publizierten Artikeln in internationalen Journalen oder Konferenzen eingeladen werden. Zudem sind neben Workshops ein Doktoranden-Symposium, Tutorien sowie ein Praxisforum geplant. Einreichungen in deutscher wie auch englischer Sprache sind willkommen. -------------------- Einreichung -------------------- Die Modellierung 2024 lädt Beiträge zu allen Aspekten der Modellierung in der Informatik sowie in angrenzenden Bereichen ein. Wir freuen uns auf folgende Arten von Beiträgen: * Wissenschaftliche Beiträge: Langbeiträge (14 Seiten, zuzüglich bis zu 4 Seiten Literaturverzeichnis) oder Kurzbeiträge (3 Seiten, zuzüglich bis zu 2 Seiten Literaturverzeichnis) * Journal/Conference First: Bereits in internationalen Journalen oder Konferenzen publizierte Artikel: Einreichungen für das wissenschaftliche Programm bestehen aus zwei Teilen, die in einem PDF zusammengefasst werden sollen: Vortragszusammenfassung von max. 200 Wörtern (Deutsch oder Englisch) und PDF-Volltext des Beitrags. Die Beiträge können jederzeit über EasyChair eingereicht werden: https://easychair.org/my/conference?conf=modellierung2024 (Track "Modellierung 2024"). Details sind auf der Website zu finden: https://bpt.hpi.uni-potsdam.de/modellierung2024/submissions/ -------------------- Wichtige Daten -------------------- Einreichungsschluss für Beiträge: 9.10.2023 Benachrichtigung der Autoren: 27.11.2023 Einreichung der druckfertigen Fassung: 18.12.2023 Konferenz: 12.-15.3. 2024 -------------------- Kontakt -------------------- Judith Michael, PC Co-Chair (michael at se-rwth.de) Mathias Weske, PC Co-Chair (mathias.weske at hpi.de) -------------------------------------------------------------------- Dipl.-Ing. Dr. techn. Judith Michael | http://www.se-rwth.de Team Leader Model-Based Assistance and Information Services Lehrstuhl für Software Engineering | Informatik 3 Ahornstr. 55, 52074 Aachen, Germany | RWTH Aachen University -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Mon Jun 26 09:28:57 2023 From: georgeangelos60 at gmail.com (georgeangelos60 at gmail.com) Date: Mon, 26 Jun 2023 10:28:57 +0300 Subject: [fg-arc] 10th International Conference on Behavioural and Social Computing (BESC 2023): Fifth Call for Papers Message-ID: *** Fifth Call for Papers *** 10th International Conference on Behavioural and Social Computing (BESC 2023) October 30 - November 1, 2023, 5* Golden Bay Beach Hotel, Larnaca, Cyprus http://besc-conf.org/2023/ The International Conference on Behavioural and Social Computing (BESC) is a major international forum that brings together academic researchers and industry practitioners from artificial intelligence, computational social sciences, natural language processing, business and marketing, and behavioural and psychological sciences to present updated research efforts and progresses on foundational and emerging interdisciplinary topics of BESC, exchange new ideas and identify future research directions. The BESC series of conferences are technically sponsored by IEEE SMC (Systems, Man and Cybernetics) Society as well as IEEE CIS (Computational Intelligence Society) and the proceedings are published by IEEE BESC 2023 invites submissions of original, high-quality research papers addressing cutting-edge developments from all areas of behavioural and social computing. The conference aims to bring together researchers and practitioners from academia and industry to share their knowledge, experience, and perspectives on the latest trends, challenges, and opportunities in this rapidly evolving field. Topics of interest include, but are not limited to: Social Computing, Computational Social Science and Applications • Computational models of social phenomena • Social behaviour • Social network analysis • Semantic web • Collective intelligence • Security, privacy, trust in social contexts • Social recommendation • Social influence and social contagions • Quantifying offline phenomena through online data • Forecasting of social phenomena • Science and technology studies approaches to computational social science • Social media and health behaviours • Social psychology and personality • New theories, methods, and objectives in computational social science Digital Humanities • Digital media • Digital humanities • Digital games and learning • Digital footprints and privacy • Crowd dynamics • Digital arts • Digital healthcare • Activity streams and experience design • Virtual communities (e.g., open-source, multiplayer gaming, etc.) Information Management and Information Systems (IS) • Decision analytics • E-Business • Decision analytics • Computational finance • Societal impacts of IS • Human behaviour and IS • IS in healthcare • IS security and privacy • IS strategy, structure and organizational impacts • Service science and IS Natural Language Processing • Web mining and its social interpretations • Sentiment Analysis, Stylistic Analysis, and Argument Mining • Opinion mining and social media analytics • Credibility of online content • Computational Linguistics • Mining big social data • Cognitive Modelling and Psycholinguistics Behaviour and User Modelling, Privacy, and Ethics • Behaviour change • Positive technology • Personalization for individuals, groups and populations • Large scale personalization, adaptation and recommendation • Web dynamics and personalization • Privacy, perceived security and trust • Technology and Wellbeing • Ethics of computational research on human behaviour Technology Enhanced Learning (TEL) • E-Learning and M-Learning • Open and Distance Learning • User modeling and personalization in TEL • TEL in secondary and in higher education • New tools for TEL BESC 2023 will also host the following Special Sessions. Papers accepted in any of the Special Sessions will be included in the same IEEE conference proceedings with the papers accepted for the general technical program. ● Computational Social Psychology in Post Covid-19 Period ● Artificial Intelligence for Mental Health, Mental Illness, Psychiatic Diagnosis, and Prediction ● Intelligent E-Learning at Post Covid-19 Era ● Big Data and AI-Powered Decision Support Systems in Business ● Understanding the Citizen's Behavior in Cognitive Cities ● Nudges and Behavioural Computing Models for a Sustainable and Equitable Development SUBMISSION INSTRUCTIONS The paper submission system is using Easy Chair and the submission link is: https://easychair.org/conferences/?conf=besc2023 . All papers will be reviewed by the Program Committee on the basis of technical quality, relevance to BESC 2023, originality, significance and clarity. Please note: • All submissions should use IEEE two-column style. Templates are available here: https://www.ieee.org/conferences/publishing/templates.html • All papers must be submitted electronically through the paper submission system in PDF format only. BESC 2023 accepts research papers (6 pages), special session papers (6 pages) and Doctoral Symposium papers (4 pages). • The page count above excludes the references (but includes any appendices). • Paper review will be double-blind, and submissions not properly anonymized will be desk-rejected without review. • Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. • Papers must be clearly submitted in English and will be selected based on their originality, timeliness, significance, relevance, and clarity of presentation. • Submission of a paper should be regarded as a commitment that, should the paper be accepted, at least one of the authors will register and attend the conference to present the work. • The use of artificial intelligence (AI)–generated text in an article shall be disclosed in the acknowledgements section of any paper submitted to an IEEE Conference or Periodical. The sections of the paper that use AI-generated text shall have a citation to the AI system used to generate the text. • All accepted papers will be included in IEEE Xplore and indexed by EI. Top quality papers after presented in the conference will be selected for extension and publication in several special issues of international journals, e.g., World Wide Web Journal (Springer), Web Intelligence (IOS Press), and Social Network Analysis and Mining (Springer), Human-Centric Intelligent Systems (Springer), Information Discovery and Delivery (Emerald Publishing). IMPORTANT DATES • Submission of all papers: 15 July 2023 • Notification of acceptance for submitted papers: 15 September 2023 • Camera-Ready Submission: 1 October 2023 • Author Registration: 1 October 2023 ORGANISATION Steering Committee Chair • Guandong Xu, University of Technology Sydney, Australia General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs • Georgia Kapitsaki, University of Cyprus, Cyprus • Ji Zhang, University of Southern Queensland, Australia Special Session Chairs • Taotao Cai, University of Southern Queensland, Australia • Ting Yu, Zhejiang Lab, China Doctoral Symposium Chair • Barbara Caci, University of Palermo, Italy Panel and Tutorial Chair • Philippe Fournier-Viger, Shenzhen University, China Proceedings Chair • Md Rafiqul Islam, University of Technology Sydney, Australia Publicity Chairs • Chandan Gautam, Institute for Infocomm Research (I2R), A*STAR, Singapore • Thanveer Shaik, University of Southern Queensland, Australia • Sanjay Sonbhadra, ITER, Siksha 'O' Anusandhan, India Webmaster • Shiqing Wu, University of Technology Sydney, Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From Luigia.Petre at abo.fi Fri Jun 9 15:17:26 2023 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Fri, 09 Jun 2023 13:17:26 -0000 Subject: [fg-arc] =?iso-8859-1?q?FM_Teaching_Tutorial_on_June_16=2C_3_pm_?= =?iso-8859-1?q?CEST=3A_Prof=2E_Laura_Kov=E1cs=2C_Vienna_University_of_Tec?= =?iso-8859-1?q?hnology=2C_Austria=3A_Teaching_Formal_Reasoning_at_TU_Wien?= Message-ID: <430b9c1172d849f2930e946a5ac15592@abo.fi> Dear all, The Formal Methods Teaching tutorials series continues with a lecture on Friday, June 16! Prof Laura Kovács, Vienna University of Technology, Austria will lecture on her experiences in teaching formal methods on Friday, June 16, 2023 at 3 pm CEST. Laura's teaching career spreads on more than 15 years, with more than a decade at TU Wien. Some of her courses have hundreds of students, which is both a wonder as well as a challenge. For instance, in a recent paper, Laura explains how to manage generating exam sheets in this context, with the awesome detail that the generation of these sheets uses formal methods! For more details, here is the link to that 2021 paper: https://link.springer.com/chapter/10.1007/978-3-030-81097-9_15. Laura's lecture on June 16 is entitled "Teaching Formal Reasoning at TU Wien". More information about our lecturer can be found here: http://lkovacs.com. The zoom link for Laura' lecture is https://aboakademi.zoom.us/j/64254430116. The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS: for more info, here is the tutorial series webpage: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre -------------- next part -------------- An HTML attachment was scrubbed... URL: From cposkitt at smu.edu.sg Mon Jun 12 14:15:40 2023 From: cposkitt at smu.edu.sg (Christopher Michael POSKITT) Date: Mon, 12 Jun 2023 12:15:40 +0000 Subject: [fg-arc] Call for Participation :: STAF'23 (Software Technologies: Applications and Foundations) Message-ID: SMU Classification: Restricted *** FINAL CALL FOR PARTICIPATION *** STAF 2023 - Software Technologies: Applications and Foundations July 18-21, 2023, Leicester, UK https://conf.researchr.org/home/staf-2023 EARLY REGISTRATION DEADLINE: June 14, 2023 REGISTRATION INFORMATION: https://conf.researchr.org/attending/staf-2023/registration DRAFT PROGRAMME: https://conf.researchr.org/program/staf-2023/program-staf-2023/ Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event in 2012, providing a loose umbrella organisation with a steering committee that aims to provide continuity. The STAF federated event runs annually. The conferences that participate may vary from year to year, but all focus on practical and foundational advances in software technology. The conferences address all aspects of software technology, from object-oriented design, testing, mathematical approaches to modelling and verification, transformation, model-driven engineering, aspect-oriented techniques, and tools. We invite you to join us at STAF 2023 in Leicester, UK from July 18-21, 2023! KEYNOTE SPEAKERS - Kim G. Larsen, Aalborg University (Denmark) - Dan Ghica, Huawei Research and University of Birmingham (UK) - Mohammad Abdulaziz, King’s College London (UK) - Andrzej Wąsowski, IT University of Copenhagen (Denmark) More details: https://conf.researchr.org/track/staf-2023/staf-2023-keynotes CO-LOCATED CONFERENCES: - ECMFA 2023: https://conf.researchr.org/home/ecmfa-2023 - ICGT 2023: https://conf.researchr.org/home/icgt-2023 - TAP 2023: https://conf.researchr.org/home/tap-2023 CO-LOCATED WORKSHOPS: - AI4SE at STAF 2023: https://conf.researchr.org/home/staf-2023/ai4se-staf-2023 - Agile MDE 2023: https://conf.researchr.org/home/staf-2023/a-mde-2023 - GCM 2023: https://conf.researchr.org/home/staf-2023/gcm-2023 - HEDA 2023: https://conf.researchr.org/home/staf-2023/heda-2023 - MeSS 2023: https://conf.researchr.org/home/staf-2023/mess-2023 CO-LOCATED CONTEST: - TTC 2023: https://conf.researchr.org/home/staf-2023/ttc-2023 -------------- next part -------------- An HTML attachment was scrubbed... URL: From chisvasileandrei at gmail.com Fri Jun 16 10:44:23 2023 From: chisvasileandrei at gmail.com (Andrei Chis) Date: Fri, 16 Jun 2023 10:44:23 +0200 Subject: [fg-arc] 2nd CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering Message-ID: ------------------------------------------------------------------------ 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2023) October 22-27, 2023 Cascais, Lisbon, Portugal http://www.sleconf.org/2023/ Follow us on Twitter: https://twitter.com/sleconf ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2023), held in conjunction with SPLASH 2023. The conference will be hosted in Cascais, Lisbon, Portugal on October 22-27, 2023. --------------------------- Topics of Interest --------------------------- SLE covers software language engineering rather than engineering a specific software language. Topics of interest include, but are not limited to: * Software Language Design and Implementation - Approaches to and methods for language design - Static semantics (e.g., design rules, well-formedness constraints) - Techniques for specifying behavioral/executable semantics - Generative approaches (incl. code synthesis, compilation) - Meta-languages, meta-tools, language workbenches * Software Language Validation - Verification and formal methods for languages - Testing techniques for languages - Simulation techniques for languages * Software Language Integration and Composition - Coordination of heterogeneous languages and tools - Mappings between languages (incl. transformation languages) - Traceability between languages - Deployment of languages to different platforms * Software Language Maintenance - Software language reuse - Language evolution - Language families and variability, language and software product lines * Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) * Empirical evaluation and experience reports of language engineering tools - User studies evaluating usability - Performance benchmarks - Industrial applications * Synergies between Language Engineering and emerging/promising research areas - AI and ML language engineering (e.g., ML compiler testing, code classification) Quantum language engineering (e.g., language design for quantum machines) - Language engineering for physical systems (e.g., CPS, IoT, digital twins) - Socio-technical systems and language engineering (e.g., language evolution to adapt to social requirements) - Etc. --------------------------- Types of Submissions --------------------------- SLE accepts the following types of papers: * Research papers: These are “traditional” papers detailing research contributions to SLE. Papers may range from 6 to 12 pages in length and may optionally include 2 further pages of bibliography/appendices. Papers will be reviewed with an understanding that some results do not need 12 full pages and may be fully described in fewer pages. * New ideas/vision papers: These papers may describe new, unconventional software language engineering research positions or approaches that depart from standard practice. They can describe well-defined research ideas that are at an early stage of investigation. They could also provide new evidence to challenge common wisdom, present new unifying theories about existing SLE research that provides novel insight or that can lead to the development of new technologies or approaches, or apply SLE technology to radically new application areas. New ideas/vision papers must not exceed 5 pages and may optionally include 1 further page of bibliography/appendices. * SLE Body of Knowledge: The SLE Body of Knowledge (SLEBoK) is a community-wide effort to provide a unique and comprehensive description of the concepts, best practices, tools, and methods developed by the SLE community. In this respect, the SLE conference will accept surveys, essays, open challenges, empirical observations, and case study papers on the SLE topics. These can focus on, but are not limited to, methods, techniques, best practices, and teaching approaches. Papers in this category can have up to 20 pages, including bibliography/appendices. * Tool papers: These papers focus on the tooling aspects often forgotten or neglected in research papers. A good tool paper focuses on practical insights that will likely be useful to other implementers or users in the future. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must not exceed 5 pages and may optionally include 1 further page of bibliography/appendices. They may optionally include an appendix with a demo outline/screenshots and/or a short video/screencast illustrating the tool. **Workshops**: Workshops will be organized by SPLASH. Please inform us and contact the SPLASH organizers if you would like to organize a workshop of interest to the SLE audience. Information on how to submit workshops can be found on the SPLASH 2023 Website. --------------------------- Important Dates --------------------------- All dates are Anywhere on Earth. * Abstract submissions: June 26, 2023 * Paper submissions: June 30, 2023 * Review notification: August 11, 2023 (starting of the rebuttal) * Author response period: August 18, 2023 (end of the rebuttal) * Notification: August 25, 2023 * Artifact submissions: August 30, 2023 * Artifact kick-the-tires Author response: September 15, 2023 * Artifact notification: September 29, 2023 * Conference: October 22-27, 2023 (co-located with SPLASH, precise dates to be announced) --------------------------- Format --------------------------- Submissions have to use the ACM SIGPLAN Conference Format "acmart"(http://sigplan.org/Resources/Author/#acmart-format); please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template(https://www.acm.org/binaries/content/assets/publications/consolidated-tex-template/acmart-master.zip), and that the document class definition is `\documentclass[sigplan,anonymous,review]{acmart}`. Do not make any changes to this format! Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes in figures and tables are legible. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. In this line, SLE will follow the double-blind process. Author names and institutions should be omitted from submitted papers, and references to the authors’ own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. All submissions must be in PDF format. The submission website is: https://sle23.hotcrp.com --------------------------- Concurrent Submissions --------------------------- Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy (http://www.sigplan.org/Resources/Policies/Republication). Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism (http://www.acm.org/publications/policies/plagiarism_policy). Submissions that violate these policies will be desk-rejected. --------------------------- Policy on Human Participant and Subject Research --------------------------- Authors conducting research involving human participants and subjects must ensure that their research comply with their local governing laws and regulations and the ACM’s general principles as stated in the ACM’s Publications Policy on Research Involving Human Participants and Subjects (https://www.acm.org/publications/policies/research-involving-human-participants-and-subjects). Submissions that violate this policy will be rejected. --------------------------- Reviewing Process --------------------------- All submitted papers will be reviewed by the program committee. Research papers and tool papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the conference call. New ideas/vision papers will be evaluated primarily concerning novelty, significance, readability, and alignment with the conference call. SLEBoK papers will be reviewed on their significance, readability, topicality and capacity of presenting/evaluating/demonstrating a piece of BoK about SLE. For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review, at the discretion of the PC chairs. --------------------------- Artifact Evaluation --------------------------- For the seventh year, SLE will use an evaluation process for assessing the quality of the artifacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted research papers are invited to submit artifacts. For more information, please have a look at the Artifact Evaluation (http://www.sleconf.org/2023/ArtifactEvaluation.html) page. --------------------------- Awards --------------------------- - **Distinguished paper**: Award for most notable paper, as determined by the PC chairs based on the recommendations of the programme committee. - **Distinguished artifact**: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. --------------------------- Publication --------------------------- All accepted papers will be published in the ACM Digital Library. **AUTHORS TAKE NOTE**: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. --------------------------- SLE and Doctoral Students --------------------------- SLE encourages students to submit to the SPLASH doctoral symposium. Authors of accepted papers will have the chance to present their work to the SLE audience, too. --------------------------- Organisation --------------------------- Chairs: * General chair: João Saraiva, Universidade do Minho, Portugal * PC co-chair: Thomas Degueule, CNRS/LaBRI, France * PC co-chair: Elizabeth Scott, Royal Holloway University of London, United Kingdom * Publicity chair: Andrei Chis, feenk gmbh, Switzerland Program committee: Jean-Christophe Bach, IMT Atlantique, France Thomas van Binsbergen, University of Amsterdam, Netherlands Mark van den Brand, Eindhoven University of Technology, Netherlands Jordi Cabot, Luxembourg Institute of Science and Technology, Luxembourg Horatiu Cirstea, University of Lorraine and Loria, France Romina Eramo, University of l’Aquila, Italy Bernd Fischer, Stellenbosch University, South Africa Görel Hedin, Lund University, Sweden Felienne Hermans, VU Amsterdam, Netherlands Robert Hirschfeld, University of Potsdam, Germany Zhenjiang Hu, Peking University, China Adrian Johnstone, Royal Holloway University of London, UK Dimitris Kolovos, University of York, UK Ivan Kurtev, Eindhoven University of Technology, Netherlands Ralf Lämmel, University of Koblenz-Landau, Germany Julien Lange, Royal Holloway University of London, UK Stefan Marr, University of Kent, UK Marjan Mernik, University of Maribor, Slovenia Gunter Mussbacher, McGill University, Canada Oscar Nierstrasz, feenk GmbH, Switzerland Bruno Oliveira, University of Hong Kong, Hong Kong Casper Bach Poulsen, Delft University of Technology, Netherlands Juri Di Rocco, University of l’Aquila, Italy Davide Di Ruscio, University of l’Aquila, Italy Bernhard Rumpe, RWTH Aachen University, Germany Neil Sculthorpe, Nottingham Trent University, UK Luís Eduardo de Souza Amorim, Australian National University, Australia Tijs van der Storm, CWI and University of Groningen, Netherlands Tamás Szabó, GitHub Next, Germany Mauricio Verano Merino, VU Amsterdam, Netherlands Manuel Wimmer, Johannes Kepler University Linz, Austria Vadim Zaytsev, University of Twente, Netherlands Philipp Zech, University of Innsbruck, Austria --------------------------- Contact --------------------------- For additional information, clarification, or answers, please get in touch with the program co-chairs (E.Scott at rhul.ac.uk and thomas.degueule at labri.fr). From hasselbring at email.uni-kiel.de Tue Jun 20 19:54:11 2023 From: hasselbring at email.uni-kiel.de (Wilhelm (Willi) Hasselbring) Date: Tue, 20 Jun 2023 19:54:11 +0200 Subject: [fg-arc] =?utf-8?q?Neue_Fachgruppe_Research_Software_Engineering?= =?utf-8?q?_=28kurz=3A_RSE=29_im_Fachbereich_Softwaretechnik_gegr=C3=BCnde?= =?utf-8?q?t?= Message-ID: <7fe583d8-51ed-ce60-1b37-0427c1b39a1a@email.uni-kiel.de> Liebe Kolleginnen & Kollegen, im Fachbereich Softwaretechnik der GI wurde eine neue Fachgruppe RSE als eine gemeinsame Einrichtung von GI und de-RSE gegründet. Inzwischen gibt es eine kleine Webseite: https://fg-rse.gi.de/ An dem Thema Interessierte tragen sich gern in die Mailingliste ein. Unter https://meine.gi.de/ besteht für GI-Mitglieder auch die Möglichkeit sich der neuen Fachgruppe zuzuordnen, um ggf Nachrichten der GI-Geschäftsstelle hinsichtlich der Fachgruppe zu erhalten. Schöne Grüße, Wilhelm (Willi) Hasselbring -- Prof. Dr. W. Hasselbring, Software Engineering Group Dept. Computer Science, Kiel University, D-24118 Kiel, Germany Tel: +49 (0)431 880-4664, -3734 (secretary) Email: hasselbring at email.uni-kiel.de https://se.informatik.uni-kiel.de/ From slavko.zitnik at fri.uni-lj.si Thu Jun 8 15:16:46 2023 From: slavko.zitnik at fri.uni-lj.si (=?utf-8?B?xb1pdG5paywgU2xhdmtv?=) Date: Thu, 08 Jun 2023 13:16:46 -0000 Subject: [fg-arc] ESSLLI 2023 - Early Bird Registration extended to June 14 Message-ID: <58504396-3078-4559-910A-953BCF38DA33@fri.uni-lj.si> (Apologies for cross-posting) The early bird registration has been extended to June 14: https://eventer.si/registrations/ESSLLI2023 Registration is now open for the 34th European Summer School in Logic, Language and Information (ESSLLI), taking place from 31 July - 11 August, 2023 at the University of Ljubljana, Faculty of Computer and Information Science: https://2023.esslli.eu/ Overview: The European Summer School in Logic, Language and Information (ESSLLI) is a yearly recurring event, organised under the auspices of the Association for Logic, Language and Information (FoLLI), and has been running since 1989. The ESSLLI Summer School provides an interdisciplinary setting in which courses and workshops are offered in logic, linguistics and computer science, also from wider scientific, historical, and philosophical perspectives. ESSLLI attracts around 400 participants from all parts of Europe, as well as from North and Latin America, and Asia. ESSLLI has become the main meeting place for young researchers and students in logic, linguistics and computer science to discuss current research and to share knowledge. The event is unique in its interdisciplinary set-up, with no equivalents in Europe. Programme: The ESSLLI Summer School offers an exciting two-week programme, consisting of the following: - Workshops in logic, linguistics and computer science - Courses — foundational, introductory and advanced — in three areas: - - Language and Computation - - Logic and Computation - - Logic and Language - Student session - Evening lectures (see attachment) - Social activities Registration: Registration for attendees, course lecturers, student session and workshop organisers and speakers is now open. The early-registration deadline is June 14; go to https://2023.esslli.eu/registration.html Share information Please share information about the summer school (message above and/or poster attached to this message). Follow us @ESSLLI_official. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: ESSLLI_EvningLectures1_FB_1200x630px (3).pdf Type: application/pdf Size: 135934 bytes Desc: ESSLLI_EvningLectures1_FB_1200x630px (3).pdf URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: ESSLLI2023_Poster (2).pdf Type: application/pdf Size: 2492317 bytes Desc: ESSLLI2023_Poster (2).pdf URL: