From manel.abdellatif at polymtl.ca Sat May 1 20:57:04 2021 From: manel.abdellatif at polymtl.ca (Manel Abdellatif) Date: Sat, 01 May 2021 18:57:04 +0000 Subject: [ecoop-info] 2nd CFP - The 19th International Conference on Service-Oriented Computing (ICSOC 2021) Message-ID: <20210501185704.Horde.xzXvH0zUud0Hej2Rb9J7fyj@horde.polymtl.ca> ================================================================= CALL FOR PAPERS The 19th International Conference on Service-Oriented Computing - ICSOC 2021 - November 22-25, 2021 Dubai, United Arab Emirates http://icsoc.org/ ================================================================= ICSOC, the International Conference on Service-Oriented Computing, is the premier international forum for academics, industry researchers, developers, and practitioners to report and share groundbreaking work in service-oriented computing. ICSOC fosters cross-community scientific excellence by gathering experts from various disciplines, such as business-process management, distributed systems, computer networks, wireless and mobile computing, cloud computing, cyber-physical systems, networking, scientific workflows, services science, data science, management science, and software engineering. ICSOC provides a high-quality forum for presenting results and discussing ideas that further our knowledge and understanding of the various aspects (e.g. application and system aspects) related to Service Computing applied to new application areas and gain insights into a variety of computing, networked, and cyber-physical systems ranging from mobile devices and Internet-of-Things (IoT) applications to large-scale cloud computing systems and the smart grid. ICSOC 2021, the 19th event in this series, will take place in Dubai, UAE from November 22 to November 25, 2021. Following on the ICSOC tradition, it will feature visionary keynote presentations, research and industry presentations, a vision track, workshops, tool demonstrations, tutorials, and a Ph.D. track. We invite interested researchers, students, practitioners, and professionals to submit their original contributions to the research and industry tracks of ICSOC 2021. ================================================================= +++ New submission/review model Starting this year, ICSOC adopts a new submission/reviewing model. ***Anonymous submissions: ICSOC implements a double-blind reviewing process. Author names and affiliations should not appear in the paper. The authors should make a reasonable effort not to reveal their identities of institutional affiliations in the text, figures, photos, links, or other data that is contained in the paper. Authors' prior work should be preferably referred to in the third person; if this is not feasible, the references should be blinded. Submissions that violate these requirements will be rejected without review. The list of authors cannot be changed after the acceptance decision is made unless approved by the Program Chairs. ***Early submissions: Authors are invited to consider early submissions. In the early submission round, only papers submitted as full/regular papers will be considered, and they will go through a full peer-review process. An early submitted paper that is accepted will be included in the proceedings. An early submitted paper that is rejected can be still revised and submitted to the normal submission round by the given deadline. If the authors of an early submitted paper that is rejected decide to resubmit their paper to the normal submission round, they will have to include an appendix (2 pages) describing how they have addressed the comments received by the reviewers from the early submission. ***Normal submissions: Authors are also welcome to submit papers to the normal submission round by the given deadline. After the normal submission deadline, the papers resubmitted from the early submission round and those submitted only to the normal submission round will undergo a traditional review process. The decisions made from this normal review procedure will be final and no resubmission will be permitted afterwards. It should be noted that unformatted papers and papers beyond the page limit may not be reviewed. ================================================================= Important Dates Early paper submissions due: May 31st, 2021 Review comments to authors of early submission papers: July 13th, 2021 Normal paper submission due: August 13th, 2021 Final notification to authors: September 20th, 2021 Camera ready manuscripts due: October 3rd, 2021 Author registration: October 3rd, 2021 Early bird registration: TBA Conference dates: November 22-25, 2021 All deadlines are in Samoa Standard Time (SST = GMT ? 11). Check the time in the SST Zone here: https://time.is/SST ================================================================= Special issues As per its tradition, ICSOC 2021 will also feature some special issues in high impact journals. A selection of the top accepted papers will be invited for special issues in journals, the specific list will be announced soon. ================================================================= Areas of interest ICSOC 2021 will be divided into two main tracks, the research track and the visionary track. While the visionary track targets visionary papers with high potential that may bring some impact in the future for the community, the research track will focus on the following four main areas. ---Focus Area-1: Service Oriented Technology Trends This focus area targets outstanding, original contributions, including theoretical and empirical evaluations, as well as practical and industrial experiences, with emphasis on results that solve open research problems and have significant impact on the field of digital services and service-oriented computing. Topics that are part of this focus area may include but are not limited to: * Service-oriented Engineering * Service design, specification, discovery, customization, composition, and deployment * Service validation and test * Service change management * Intelligent context-aware interfaces * Theoretical foundations of Service Engineering * Transformation of monolithic applications to microservices * Run-time Service Operations and Management * Service execution middleware * Service monitoring and adaptive management * Workload compliance management * Microservices deployment and management * Security, privacy, and trust for services * Secure service lifecycle development * Privacy management aspects for services * Contract based security approaches * Secure service composition * Trust management for services * Services and Data * Services for big data * Service mining and analytics * Data-provisioning services * Services related linked open data * Services on the Cloud * Cloud service management * Cloud workflow management * Cloud brokers and coordination across multiple resource managers * XaaS (everything as a service including IaaS, PaaS, and SaaS) * Workload partitioning, balancing, and transformation * Services at the Edge * Cloud and fog computing * Edge service orchestration * Lightweight service deployment and management * Quality of Service (QoS) in edge services * Security, privacy, and trust of edge services * Services in the Internet of Things (IoT)/Cyber-Physical Systems (CPS) * Embedded and real-time services * RFID, sensor data, and services related to the IoT/CPS * Services for IoT/CPS platforms and applications * Service oriented protocols for IoT/CPS applications * Services in Organizations, Business, and Society * Social networks and services * Cost and pricing of services * Service marketplaces and ecosystems * Innovative service business models --- Focus Area-2: Blockchain Technologies A blockchain is a decentralized distributed ledger that records and stores transactions among a number of interacting parties in a network. Each transaction must be validated via a consensus mechanism executed by the network participants before being permanently added as a new ?block? at the end of the ?chain.? Disruptive technologies such as blockchain, AI, services, and cloud enable companies and administrations to provide decentralized, trusted, transparent and user-centric digital services while enhancing user/consumer experience. These technologies have the ability to transform the way we use the internet and digital services globally. Topics that are part of this focus area may include but are not limited to: * Blockchain in digital services * Block chain and smart business transactions * Block chain and smart contracts * Blockchain in the Internet of things (IoT) * Blockchain in cyber physical systems * Blockchain in edge and cloud computing * Disintermediation and collaboration mechanisms in block chains * Peer-to-peer networks * Block chain platforms * Blockchain in supply chain management * Trust and security services in block chains * Cutting edge cipher algorithms --- Focus Area-3: Industry 4.0 Technologies Industry 4.0 (or smart manufacturing) sets the foundations for completely connected factories that are characterized by the digitization and interconnection of supply chains, production equipment and production lines, and the application of the latest advanced digital information technologies to manufacturing activities. The manufacturing paradigm championed by the Industry 4.0 brings together processes, software services and systems, machines, devices, IoT, sensors, valves, actuators, manufacturing systems, and connected digital factories. All these computer-driven systems create a virtual copy of the physical world and help make decentralized decisions with a much higher degree of accuracy. Topics that are part of this focus area may include but are not limited to: * Digital twins and digital threads * Digital product management * Digital manufacturing * Digital transformation * Digital reality * Embedded systems * Internet of Things in Industry 4.0 * 3D printing/additive manufacturing techniques * Machine-To-Machine communication for smart manufacturing * Smarter analytics * Manufacturing Intelligence * Smart factories * Smart asset management * Smart Cyber-Security in Industry 4.0 * Blockchain in Industry 4.0 --- Focus Area-4: Smart services, Smart data and Smart applications Smart data systems and services support the processing and integration of data and services into a meaningful unified view to enable more effective decision making and problem solving. The decisive criterion here is not necessarily the amount of data or services available, but smart content techniques that promote not only the collection and accumulation of related data and services, but also its context, and understanding. This requires finding useful insights and discovering patterns and trends within the data and services to reveal a wider picture that is more relevant to the problem in hand and react to them. Smart applications are context aware, intelligent and autonomous industrial strength applications that incorporate data-driven, actionable contextual insights into the user experience to enable users to more efficiently complete a desired task usually taking the form of recommendations, estimates, and suggested next course of actions in context. Topics that are part of this focus area may include but are not limited to: * Smart Big Data * Predictive Modelling * Visualization & Augmented Reality * Smarter Analytics * Machine Learning * Multidimensional Data * Sensor Networks * Smart cities * Smart applications for the construction industry * Smart transportation systems * Smart logistics & distribution * Smart agriculture and food chains * Smart government * Smart sensors & IoT for large scale industrial applications * Traceability and Tracking * Detection of data and key performance metrics to improve application efficiency * Conceptual structures and knowledge architectures for smart applications * Agile & DevOps methodologies for smart applications ================================================================= Paper Submission The conference solicits outstanding original research and practice papers on all aspects of service-oriented computing. Papers should clearly demonstrate the research or practical contribution, the relevance to the field, and the relationship to prior work. Submitted papers will be evaluated according to their rigor, significance, originality, technical quality, and exposition. All papers will be reviewed by at least three members of the Program Committee. Papers should be formatted according to Springer?s LNCS Formatting Guidelines. Submissions must be in English and must not exceed 15 pages. All papers must be submitted electronically to the Conference Submission System. Each paper must be submitted on or before the provided deadlines. Authors are kindly invited to respect the abstract submission deadline, set one week before the paper submission. The limit length of accepted papers should be 15 pages (including abstract, figures and references) with a maximum of 2 extra paid pages (?90 per extra page). The final submission should be formatted according to Springer?s LNCS Camera ready instructions. For each accepted paper, at least one author must attend the conference and present the paper. The deadline for identifying and registering this individual author will be at the time when the camera-ready version is submitted. ================================================================= Best Paper Award The Best Paper Award, sponsored by Springer, will be given to the paper that the Program Committee judges to be the best in quality, execution, and impact among all the accepted papers in the conference. ================================================================= Proceedings All accepted papers will be included in the Conference Proceedings published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) series. ================================================================= General Chairs - Hakim Hacid, Zayed University, UAE - Odej Kao, TU Berlin, Germany Program Co-chairs - Massimo Mecella, Sapienza Universit? di Roma, Italy - Naouel Moha, Ecole de Technologie Superieure, Canada - Helen Paik, University of New South Wales, Australia From cfp.conference2016 at GMAIL.COM Sun May 2 04:15:33 2021 From: cfp.conference2016 at GMAIL.COM (CFP Conference) Date: Sat, 1 May 2021 22:15:33 -0400 Subject: [ecoop-info] IEEE BigData 2021 Call for Papers Message-ID: *Call for Papers* *2021 IEEE International Conference on Big Data (IEEE BigData 2021)* http://bigdataieee.org/BigData2021/ December 15-18, 2021, Orlando, FL, USA (if the covid-19 pandemic is under control by then, otherwise it will be online) In recent years, ?Big Data? has become a new ubiquitous term. Big Data is transforming science, engineering, medicine, healthcare, finance, business, and ultimately our society itself. The IEEE Big Data conference series started in 2013 has established itself as the top tier research conference in Big Data. ? The first conference IEEE Big Data 2013 had more than 400 registered participants from 40 countries ( http://bigdataieee.org/BigData2013/) and the regular paper acceptance rate is 17.0%. ? The IEEE Big Data 2019 ( http://bigdataieee.org/BigData2019/ , regular paper acceptance rate: 18.7%) was held in Los Angeles, CA, Dec 9-12, 2019 with close to 1200 registered participants from 54 countries. ? The IEEE Big Data 2020 ( http://bigdataieee.org/BigData2020/ , regular paper acceptance rate: 15.7%) was held online, Dec 10-13, 2020 with close to 1100 registered participants from 50 countries The 2021 IEEE International Conference on Big Data (IEEE BigData 2021) will continue the success of the previous IEEE Big Data conferences. It will provide a leading forum for disseminating the latest results in Big Data Research, Development, and Applications. We solicit high-quality original research papers (and significant work-in-progress papers) in any aspect of Big Data with emphasis on 5Vs (Volume, Velocity, Variety, Value and Veracity), including the Big Data challenges in scientific and engineering, social, sensor/IoT/IoE, and multimedia (audio, video, image, etc.) big data systems and applications. The conference adopts single-blind review policy. We expect to have a very high quality and exciting technical program at Seattle this year. *Example topics of interest includes but is not limited to the following*: 1. Big Data Science and Foundations a. Novel Theoretical Models for Big Data b. New Computational Models for Big Data c. Data and Information Quality for Big Data d. New Data Standards 2. Big Data Infrastructure a. Cloud/Grid/Stream Computing for Big Data b. High Performance/Parallel Computing Platforms for Big Data c. Autonomic Computing and Cyber-infrastructure, System Architectures, Design and Deployment d. Energy-efficient Computing for Big Data e. Programming Models and Environments for Cluster, Cloud, and Grid Computing to Support Big Data f. Software Techniques and Architectures in Cloud/Grid/Stream Computing g. Big Data Open Platforms h. New Programming Models for Big Data beyond Hadoop/MapReduce, STORM i. Software Systems to Support Big Data Computing 3. Big Data Management a. Search and Mining of variety of data including scientific and engineering, social, sensor/IoT/IoE, and multimedia data b. Algorithms and Systems for Big DataSearch c. Distributed, and Peer-to-peer Search d. Big Data Search Architectures, Scalability and Efficiency e. Data Acquisition, Integration, Cleaning, and Best Practices f. Visualization Analytics for Big Data g. Computational Modeling and Data Integration h. Large-scale Recommendation Systems and Social Media Systems i. Cloud/Grid/Stream Data Mining- Big Velocity Data j. Link and Graph Mining k. Semantic-based Data Mining and Data Pre-processing l. Mobility and Big Data m. Multimedia and Multi-structured Data- Big Variety Data 4. Big Data Search and Mining a. Social Web Search and Mining b. Web Search c. Algorithms and Systems for Big Data Search d. Distributed, and Peer-to-peer Search e. Big Data Search Architectures, Scalability and Efficiency f. Data Acquisition, Integration, Cleaning, and Best Practices g. Visualization Analytics for Big Data h. Computational Modeling and Data Integration i. Large-scale Recommendation Systems and Social Media Systems j. Cloud/Grid/StreamData Mining- Big Velocity Data k. Link and Graph Mining l. Semantic-based Data Mining and Data Pre-processing m. Mobility and Big Data n. Multimedia and Multi-structured Data- Big Variety Data 5. Big Data Learning and Analytics a. Predictive analytics on Big Data b. Machine learning algorithms for Big Data c. Deep learning for Big Data d. Feature representation learning for Big Data e. Dimension reduction for Big Data f. Physics informed Big Data learning 6. Ethics, Privacy and Trust in Big Data Systems a. Techniques and models for fairness and diversity b. Experimental studies of fairness, diversity, accountability, and transparency c. Techniques and models for transparency and interpretability d. Trade-offs between transparency and privacy e. Intrusion Detection for Gigabit Networks f. Anomaly and APT Detection in Very Large Scale Systems g. High Performance Cryptography h. Visualizing Large Scale Security Data i. Threat Detection using Big Data Analytics j. Privacy Preserving Big Data Collection/Analytics k. HCI Challenges for Big Data Security & Privacy l. Trust management in IoT and other Big Data Systems 7. Hardware/OS Acceleration for Big Data a. FPGA/CGRA/GPU accelerators for Big Data applications b. Operating system support and runtimes for hardware accelerators c. Programming models and platforms for accelerators d. Domain-specific and heterogeneous architectures e. Novel system organizations and designs f. Computation in memory/storage/network g. Persistent, non-volatile and emerging memory for Big Data h. Operating system support for high-performance network architectures 8. Big Data Applications a. Complex Big Data Applications in Science, Engineering, Medicine, Healthcare, Finance, Business, Law, Education, Transportation, Retailing, Telecommunication b. Big Data Analytics in Small Business Enterprises (SMEs), c. Big Data Analytics in Government, Public Sector and Society in General d. Real-life Case Studies of Value Creation through Big Data Analytics e. Big Data as a Service f. Big Data Industry Standards g. Experiences with Big Data Project Deployments *INDUSTRIAL Track* The Industrial Track solicits papers describing implementations of Big Data solutions relevant to industrial settings. The focus of industry track is on papers that address the practical, applied, or pragmatic or new research challenge issues related to the use of Big Data in industry. We accept full papers (up to 10 pages) and extended abstracts (2-4 pages). *Student Travel Award* IEEE Big Data 2021 will offer* student travel *to student authors (including post-docs) *Paper Submission:* Please submit a full-length paper (up to *10 page IEEE 2-column format*) through the online submission system. https://wi-lab.com/cyberchair/2021/bigdata21/scripts/submit.php?subarea=BigD Papers should be formatted to IEEE Computer Society Proceedings Manuscript Formatting Guidelines (see link to "formatting instructions" below). *Important Dates:* Electronic submission of full papers: September 5, 2021 Notification of paper acceptance: Oct 27, 2021 Camera-ready of accepted papers: Nov 15, 2021 Conference: Dec 15-18, 2021 ######################################################################## To unsubscribe from the BIGDATA list, click the following link: http://lists.drexel.edu/cgi-bin/wa?TICKET=NzM3OTQxIGVjb29wLWluZm9ARUNPT1AuT1JHIEJJR0RBVEEgIF3r%2FWmQnPVY&c=SIGNOFF From stephane.galland at utbm.fr Mon May 3 11:50:02 2021 From: stephane.galland at utbm.fr (=?ISO-8859-1?Q?St=E9phane?= Galland) Date: Mon, 03 May 2021 11:50:02 +0200 Subject: [ecoop-info] PhD Position at CIAD / Technology University of Belfort-Montbaliard on "Contribution to cooperative perception and cooperative planning and control of robots in uncertain environment" Message-ID: <5550a0851b673904a350cd4af197656cbfc26ea6.camel@utbm.fr> The CIAD laboratory is searching for a PhD candidate to work on cooperative control and planning, cooperative environmental perception,machine learning, multi-agent systems and robot behavior analysis. The PhD project is funded by the Technology University of Belfort- Montbeliard for 36 months.Starting period is September/October 2021. Application details are into the attached file or available on https://www.linkedin.com/feed/update/urn:li:activity:6794917064424341505/ 1) Introduction / background: Several applications in the field of robotics require interactions between robots toaccomplish their task. These interactions can be conflictual as in the case of space sharing,or collaborative as during handling operations. The movements of the robots in both casesmust be synchronized to perform their tasks safely. Due to the uncertain environment,especially in the presence of humans, these movements can experience delays, hence theneed to share the perception of the environment. There are two possible solutions tomeet this need. The first one consists of building a global dynamic representation mapshared and updated by all robots. This assumes that it must be managed centrally. In thesecond approach, which is decentralized, the robots communicate interfering elementswith each other. To do this, they must be able to classify the states of the environmentand jointly define the different sources of delay to synchronize accordingly. Two scientificbuilding blocks are identified in the proposed thesis subject.Cooperative planning and control: This involves studying interaction models and analyzing theproperties of control or trajectory planning. In addition to the properties of the solutions, themodel will be used to deduce the relevant information to be exchanged between the robots.Other control or planning techniques can be exploited. Through these analyzes, the student will beable to address the thorny issue of multi-agent reinforcement learning in the context ofcontinuous decision-making [1]. The aim here is to test the potentials of Deep ReinforcementLearning (DRL) in the context of the learning of several agents [2]. Also, other distributed controlstrategies can be deduced, explored and compared.Dynamic cooperative perception: This involves sharing the perception of a robot's environmentwith other robots and vice versa in a collaborative context [3]. The objective is to increase theperception of each of the robots in order to offer them broader perspectives to carry out theirindividual and collective tasks as well as possible [4]. In general, each robot, equipped with one ormore sensors (cameras, Lidars, etc.), must be able to locally perceive its surrounding space, thenintegrate all the information useful for the mission of each robot in its perception or knowledgemap [5]. The student will focus particularly on creating a dynamic representation of the perceptionof each robot by exploiting its own perception and those shared by other robots. The objectivehere is to understand the dynamic content of the environment by recognizing situations or eventsthat may cause difficulties to the robot itself, but also to other robots participating in the collectivemission. This representation requires a spatial and temporal registration, which can be complexdepending on the type of information shared.2) Planned works:The two scientific topics presented above will have to be treated and exploited jointly.Cooperative control and planning can benefit fromdynamic cooperative perception and vice versa.Indeed, the results of perception will be exploited to optimize the control of the robots, and inreturn, the perception process will exploit the robots control or planning to improve theirperception in terms of prediction for example. From a practical point of view, the sharing andupdating of the perception map of each robot can be done at the request of the robot concerned(to other robots) or can be detected automatically as part of a strategy defined by the missionitself and made known to all robots participating in the mission.For experiment and testing, the student will benefit from an application in a concrete case ofcollaboration between several real robots and a computing platform. The data will be generatedthrough real and augmented tests. [1] Ryan Lowe, Yi Wu, Aviv Tamar, Jean Harb, Pieter Abbeel, and Igor Mordatch. 2017. Multi-agentactor-critic for mixed cooperative-competitive environments. In Proceedings of the 31stInternational Conference on Neural Information Processing Systems (NIPS'17). Curran AssociatesInc., Red Hook, NY, USA, 6382?6393.[2] OROOJLOOYJADID, Afshin et HAJINEZHAD, Davood. A review of cooperative multi-agent deepreinforcement learning. arXiv preprint arXiv:1908.03963, 2019.[3] SCHMUCK, Patrik et CHLI, Margarita. CCM ? SLAM: Robust and efficient centralized collaborativemonocular simultaneous localization and mapping for robotic teams. Journal of Field Robotics,2019, vol. 36, no 4, p. 763-781.[4] QUERALTA, Jorge Pena, TAIPALMAA, Jussi, PULLINEN, Bilge Can, et al. Collaborative Multi-Robot Search and Rescue: Planning, Coordination, Perception, and Active Vision. IEEE Access,2020, vol. 8, p. 191617-191643.[5] YANG, Chule, WANG, Danwei, ZENG, Yijie, et al. Knowledge-based multimodal informationfusion for role recognition and situation assessment by using mobile robot. Information Fusion,2019, vol. 50, p. 126-138.-- Laboratoire Connaissance et Intelligence Artificielle Distribu?es CIAD UMR 7533 Prof. Dr. St?phane GALLAND Full Professor of Computer Science and Multiagent Systems Deputy Director of CIAD French Head of ARFITEC ARF-17-11 & ARF-19-11 "Energy, Transport, Industry, Challenges for tomorrow" Senior member of the Multiagent Group Member of AFIA Universit? de Technologie de Belfort-Montb?liard - UBFC 13, rue Ernest Thierry-Mieg 90010 Belfort Cedex, FRANCE CIAD Lab: www.ciad-lab.fr Web: www.ciad-lab.fr/author-10836 Phone: +33 384 583 418 (work office) From paris.avgeriou at gmail.com Mon May 3 17:32:17 2021 From: paris.avgeriou at gmail.com (Paris Avgeriou) Date: Mon, 3 May 2021 17:32:17 +0200 Subject: [ecoop-info] Call to sign - Europe needs strong software research In-Reply-To: References: Message-ID: <294ed164-9f1d-5c69-b8a3-48b53ade4915@gmail.com> Dear colleagues, We have written a one-page document as a call to action for increased funding of software engineering research in Europe. You can find the document (PDF) here: https://drive.google.com/file/d/1Pn4HINXQI2SSsyF051xOzxfEjxzGeEoW/view?usp=sharing We have further turned the document into an online petition to make a strong statement backed by organizations and software researchers in Europe and elsewhere, to signal to policy-makers (both national and European-level) the urgency of increased funding for software research: https://www.ipetitions.com/petition/europe-needs-strong-software-research We cordially invite you to sign and distribute it to whomever might endorse this message (colleagues, heads of departments, policy makers, etc.). Feel free to share on social media using the hashtags #EuropeNeedsSoftwareResearch #FundSofwareResearchEU. The document and petition is an effort by Paris Avgeriou, Marieke Huisman, Jean-Marc Jezequel, Tomi M?nnist?, Tommi Mikonen, Romain Rouvoy, Alexander Serebrenik, Kari Smolander, Tijs van der Storm, on behalf of the national software engineering associations VERSEN (https://www.versen.nl ), GDR GPL (https://gdr-gpl.cnrs.fr/ ), and TIVIA (https://tivia.fi/in-english/ ). From davide.ancona at unige.it Mon May 3 19:09:58 2021 From: davide.ancona at unige.it (Davide Ancona) Date: Mon, 3 May 2021 19:09:58 +0200 Subject: [ecoop-info] VORTEX 2021: Extended Deadline May 7 Message-ID: <8b4ea40f-16f4-7010-8991-21a36e9b7520@unige.it> VORTEX 2021, online Workshop at ECOOP/ISSTA 2021, Monday 12 July International Workshop on Verification and mOnitoring at Runtime EXecution (https://conf.researchr.org/track/ecoop-issta-2021/ecoop-issta-2021-vortex) ================================================================================ VORTEX brings together researchers working on all aspects of Runtime Monitoring (RM) with emphasis on integration with formal verification and testing. RM is concerned with the runtime analysis of software and hardware system executions in order to infer properties relating to system behaviour. Example applications include telemetry, log aggregation, threshold alerting, performance monitoring and adherence to correctness properties (more commonly referred to as Runtime Verification). RM has gained popularity as a solution to ensure software reliability, bridging the gap between formal verification and testing: on the one hand, the notion of event trace abstracts over system executions, thus favoring system agnosticism to better support reuse and interoperability; on the other hand, monitoring a system offers more opportunities for addressing error recovery, self-adaptation, and issues that go beyond software reliability. The goal of VORTEX is to bring together researchers contributing on all aspects of RM covering and possibly integrating both theoretical and practical aspects, with particular focus on hybrid approaches inspired by formal methods, program analysis, testing. Covid-19 -------- ECOOP 2021, ISSTA 2021, and all the affiliated events will take place virtually. Call for Papers --------------- Submissions are expected to be in English and to belong to one of the following two categories: * regular paper, page limit 8 in acmart style: unpublished self-contained work * extended abstract, page limit 4 in acmart style: original contribution, not yet fully developed Topics of interest include, but are not limited to, the following ones: * monitor construction and synthesis techniques * program adaptation * monitoring oriented programming * runtime enforcement, fault detection, recovery and repair * combination of static and dynamic analyses * specification formalisms for RM * specification mining * monitoring concurrent/distributed systems * RM for safety and security * RM for the Internet of Things * industrial applications * integrating RM, formal verification, and testing * tool development * instrumentation techniques for RM * surveys on different RM tools, formal frameworks or methodologies * presentations of RM tools Papers must be submitted electronically via EasyChair; the extended submission deadline is May 7 AoE. Authors should use the official ACM Master article template, which can be obtained from the ACM Proceedings Template pages. Latex users should use the sigconf option, as well as review to produce line numbers for easy reference by the reviewers, as indicated by the following command: \documentclass[sigconf,review]{acmart} Important Dates --------------- * Extended submission deadline: Fri 7 May 2021 * Author notification: Mon 17 May 2021 * Camera ready submission: Fri 4 Jun 2021 * Virtual workshop: Mon 12 Jul 2021 Proceedings ----------- Accepted regular papers and extended abstracts will be included in the proceedings published in the ACM Digital Library. Workshop Organizers ------------------- * Wolfgang Ahrendt, Chalmers University of Technology, Sweden * Davide Ancona, Universit? di Genova, Italy * Adrian Francalanza, University of Malta, Malta From bastian.tenbergen at oswego.edu Mon May 3 20:23:41 2021 From: bastian.tenbergen at oswego.edu (bastian.tenbergen at oswego.edu) Date: Mon, 3 May 2021 14:23:41 -0400 Subject: [ecoop-info] 2nd Call For Papers: 2022 Conference on Software Engineering Education & Training (#cseet2020) Message-ID: <015b01d74049$720a31e0$561e95a0$@oswego.edu> *** CALL FOR PAPERS *** CSEE&T 2022 2022 Conference on Software Engineering Education & Training in partnership with HICSS - The Hawaiian International Conference on System Sciences January 4-7, 2022 Maui, Hawaii, USA https://hicss.hawaii.edu/tracks-55/software-engineering-education/ ============================== *Call for Papers* ============================== https://hicss.hawaii.edu/tracks-55/software-engineering-education/ HICSS and CSEE&T invite original contributions and experiences regarding learning and teaching software engineering. Although distinction between computer science education and software engineering education should be recognized, the intersection of systems? development education and software engineering is welcomed. Topics of interest include, but are not limited to: -- Soft Skills Education (SSE) -- Social and Cultural Issues (SCI) -- Continuous Education (CED) -- E-Learning, Online Training, And Education (OTE) -- Assessment, Evaluation and Measurements (AEM) -- Methodological Aspects (MAE) -- Empirical Studies (EST) -- Novel Delivery Methods (NDM) -- Vision and Future of Education (VFE) -- Teaching conceptual modeling (TCM) -- Quality Assurance and Reliability(QAR) -- Cooperation between Academia and Industry (CAI) -- Global and Distributed Education (GDE) Papers are limited to 10 pages including references and must adhere to HICSS Paper specifications. Limit is five (5) papers per (co-)author. (Details: https://hicss.hawaii.edu/authors/) We have seen technology changing society in many ways, and unquestionably, the global pandemic has accelerated distance working and education. Social distancing has demanded the adaptation or creation of services, which means systems and software. Education and Training have become essential to support these technological demands. A high-quality environment for knowledge sharing about Software Engineering Education and Training is a necessity for scientists, developers, practitioners, educators, and students, to promote the adaptation, creation, and improvement of systems and software. Therefore, after a productive meeting at HICSS in 2019, CSEE&T (Conference on Software Engineering Education and Training) welcomes you back to the pristine island of Maui in 2022. See http://hicss.org for more details. This is the second time that HICSS and CSEE&T collaborate in promoting a special track. The focus is on ?Improving Today?s and Future Systems and Software? through Software Engineering Education and Training for students and practitioners. This initiative shall provide a stimulating and fruitful forum to debate questions such as: How shall academia and industry support software engineering education and training in today?s context? How shall students and practitioners develop or improve software engineering and systems development skills? How shall educators and technology support such development and improvement? Conference Details can be found at: https://hicss.hawaii.edu/tracks-55/software-engineering-education/ *Important Dates* ============================== *SEE&T Track Program* --------------------- Submission deadline 15 June 2021, 11:59pm HST Notification of decisions 17 August 2021 Camera-ready versions due 22 September 2021 Author registration 01 October 2021 CONFERENCE IN MAUI 04-07 January 2022 *Organizers* ============================== Daniel Port Shidler College of Business University of Hawaii at Manoa United States dport at hawaii.edu Patrick Letouze Computer Science Department Universidade Federal do Tocantins Brazil patrick.letouze at gmail.com *Disclaimer* ============================== All accepted submissions are subject to registration and presentation at the conference as a condition for publication. By submitting and registering, you agree to be added to the CSEE&T mailing list. We will never share your data. *Follow us on Social Media* ============================== Twitter : http://www.twitter.com/CSEETconf Facebook : https://www.facebook.com/CSEETconf Use the Hashtag #cseet2022 For updated and detailed information about CSEE&T 2022, please visit https://hicss.hawaii.edu/tracks-55/software-engineering-education/ Please excuse multiple postings. __________________________________ Dr. Bastian Tenbergen Asst. Professor of Software Engineering Department of Computer Science 427 Shineman Center State University of New York at Oswego 7060 State Route 104 Oswego, NY, 13126, USA T +1 (315) 312-6605 E??bastian.tenbergen at oswego.edu www.tenbergen.org ? ?Understand well as I may, my comprehension can only be an infinitesimal fraction of all I want to understand.? ?????? Ada Countess of Lovelace, Mathematician and ?Mother of Computing.? From miguel-areias at dcc.fc.up.pt Tue May 4 23:56:45 2021 From: miguel-areias at dcc.fc.up.pt (Miguel Areias) Date: Tue, 4 May 2021 22:56:45 +0100 Subject: [ecoop-info] CFP - 37th International Conference on Logic Programming (extended deadlines) Message-ID: ========================================================================= ????????????????????????? FINAL CALL FOR PAPERS ??? The 37th International Conference on Logic Programming (ICLP 2021) ??????????????????? Fully virtual event hosted by the ???????? Department of Computer Science of the University of Porto ========================================================================= New: Extended deadlines (regular papers) ** Abstract registration: May 12, 2021 ** Paper submission: May 18, 2021 New: Invited speakers ** William W. Cohen, Google AI ** John Hooker, CMU ** Phokion Kolaitis, UC Santa Cruz and IBM Almaden ** Stuart Russell, UC Berkeley ** Jeffrey Ullman, Stanford University ========================================================================= Contributions are sought in all areas of logic programming, including but not restricted to: ** Foundations: Semantics, Formalisms, Nonmonotonic reasoning, ?? Knowledge representation. ** Languages issues: Concurrency, Objects, Coordination, Mobility, ?? Higher order, Types, Modes, Assertions, Modules, Meta-programming, ?? Logic-based domain-specific languages, Programming techniques. ** Programming support: Program analysis, Transformation, Validation, ?? Verification, Debugging, Profiling, Testing, Execution ?? visualization. ** Implementation: Compilation, Virtual machines, Memory management, ?? Parallel/distributed execution, Constraint handling rules, Tabling, ?? Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and coinductive logic ?? programming, Constraint logic programming, Answer set programming, ?? Interaction with SAT, SMT and CSP solvers, Theorem proving, ?? Argumentation, Probabilistic programming, Machine learning. ** Applications: Databases, Big data, Data integration and federation, ?? Software engineering, Natural language processing, Web and semantic ?? web, Agents, Artificial intelligence, Computational life sciences, ?? Cybersecurity, Robotics, Education. Tracks and Affiliated Events **************************** Besides the main track, ICLP 2021 will host additional tracks: ** Applications Track ** Recently Published Research Track and affiliated events: ** MentorLP - Mentoring Workshop on Logic Programming ** Fall School on Logic and Constraint Programming ** Doctoral Consortium ** Tutorials and co-located Workshops More details ************ https://iclp2021.dcc.fc.up.pt Any additional question can be directed towards ICLP Chairs: iclp2021 at easychair.org ========================================================================= From joao.barreto at tecnico.ulisboa.pt Thu May 6 14:19:33 2021 From: joao.barreto at tecnico.ulisboa.pt (Joao Pedro Barreto) Date: Thu, 6 May 2021 13:19:33 +0100 Subject: [ecoop-info] CFP: 2nd Workshop on Heterogeneous Memory Systems (HMEM 2021) In-Reply-To: <480d23c2-9c9d-35aa-0aea-0e398728cc58@tecnico.ulisboa.pt> References: <480d23c2-9c9d-35aa-0aea-0e398728cc58@tecnico.ulisboa.pt> Message-ID: [Apologies for cross-listing and duplicates] 2ND WORKSHOP ON HETEROGENEOUS MEMORY SYSTEMS (HMEM 2021) https://epeec-project.eu/events-and-trainings/2nd-workshop-heterogeneous-memory-systems-hmem-2021 18 JUNE 2021 - Online Collocated with ICS2021 (https://ics21.github.io/) The 2nd Workshop on Heterogeneous Memory Systems (HMEM 2021) will be held virtually on June 18, 9.00-13.00 EDT / 15.00-19.00 CEST. CALL FOR PARTICIPATION ======================== Heterogeneous memory architectures have recently emerged and revolutionized the traditional memory hierarchy. Today?s architectures may comprise multiple memory nodes, organized in complex non-uniform access (NUMA) topologies, whose nodes include not just DRAM, but also die-stacked DRAM, high-bandwidth multi-channel RAM, or persistent memory. By combining different memory technologies, heterogeneous memory architectures allow today?s systems to take advantage of the strengths of each technology ? namely, in terms of latency, bandwidth, capacity, persistence or cost. As a result, applications may benefit from improved performance, energy-efficiency, and cost trade-offs. Still, exploiting the full potential of heterogeneous memory architectures poses significant challenges. Since heterogeneous memory architectures introduce dramatic disruptions to the usual memory hierarchy assumptions that have guided decades of system and software design, we need to rethink the full system stack to embrace the new era of memory heterogeneity. Following a successful inaugural edition at ICS 2020, the 2nd HMEM workshop will serve as a forum to present and discuss ongoing research around heterogeneous memory systems. The scope of the workshop encompasses all the layers of system and software stack, from computer architectures, operating system, middleware, programming models, runtime systems, tools, to applications. Topics of interest include, but are not limited to: - Data allocation and placement in heterogeneous memories - Caching for heterogeneous memories - Software-defined far memories - Disaggregated memory - New memory consistency and persistency models - Persistent data structures - Abstractions and support for failure-atomicity in persistent memory - Use cases and early experiences Prospective authors must submit an extended abstract of up to 4 pages through EasyChair. Prospective speakers are also welcome to submit extended abstracts based on their recent publications. This is a traditional-style workshop without formal papers or proceedings. The authors of accepted communications will be invited to (optionally) upload their extended abstract (PDF) for publication in the workshop website. IMPORTANT DATES Submission deadline: May 29, 2021 (AOE) Acceptance notification: June 4, 2021 ORGANIZERS Program Chair Joao Barreto, INESC-ID, Universidade de Lisboa General Chairs Antonio J. Pe?a, Barcelona Supercomputing Center (BSC) Harald Servat, Intel From songfu1983 at shanghaitech.edu.cn Fri May 7 14:14:44 2021 From: songfu1983 at shanghaitech.edu.cn (songfu1983 at shanghaitech.edu.cn) Date: Fri, 7 May 2021 20:14:44 +0800 Subject: [ecoop-info] SETTA 2021: 2nd CFP updated with a special issue for STTT Message-ID: <202105072014439781598@shanghaitech.edu.cn> (apologies for cross-posting) ======================================== SETTA 2021: Symposium on Dependable Software Engineering: Theories, Tools and Applications Institute of Software, Chinese Academy of Sciences, Beijing, China, November 25-27, 2021 Submission deadline: July 23rd, 2021 Conference website: https://lcs.ios.ac.cn/setta2021/ Colocated with FM'2021 ======================================== ************************ ABOUT SETTA 2021 ************************ The Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA) 2021 will be held in Beijing, China on November 25-27, 2021, co-located with FM'2021. Formal methods emerged as an important area in computer science and software engineering about half a century ago. An international community is formed researching, developing and teaching formal theories, techniques and tools for software modeling, specification, design and verification. However, the impact of formal methods on the quality improvement of software systems in practice is lagging behind. This is for instance reflected by the challenges in applying formal techniques and tools to engineering large-scale systems such as Cyber-Physical Systems (CPS), Internet-of-Things (IoT), Enterprise Systems, Cloud-Based Systems, and so forth. The purpose of the SETTA symposium is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering. The interaction with the Chinese computer science and software engineering community is a central focus point. The aim is to show research interests and results from different groups so as to initiate interest-driven research collaboration. The SETTA symposium is aiming at academic excellence and its objective is to become a flagship conference on formal software engineering in China. To achieve these goals and contribute to the sustainability of the formal methods research, it is important for the symposium to attract young researchers into the community. Thus, this symposium encourages in particular the participation of young researchers and students. This year, SETTA welcomes submissions to the following two tracks: Journal First Papers and Research Papers. All submissions must be in the PDF format. Papers should be written in English. Submitted papers must be unpublished and not submitted for publication elsewhere. Accepted papers for both tracks must be presented at the conference. Latest News: Special issues for the Elsevier Journal of Systems Architecture (JSA) and the International Journal on Software Tools for Technology Transfer (STTT) have been confirmed. Authors of selected papers from SETTA2021 will be invited to submit an extended version of their SETTA2021 paper to one of these special issues. ************************ LIST OF TOPICS ************************ Topics of interest include, but are not limited to: - Requirements specification and analysis - Formalisms for modeling, design and implementation - Model checking, theorem proving, and decision procedures - Scalable approaches to formal system analysis - Formal approaches to simulation, run-time verification, and testing - Integration of formal methods into software engineering practice - Contract-based engineering of components, systems, and systems of systems - Formal and engineering aspects of software evolution and maintenance - Parallel and multicore programming - Embedded, real-time, hybrid, probabilistic, and cyber-physical systems - Mixed-critical applications and systems - Formal aspects of service-oriented and cloud computing - Safety, reliability, robustness, and fault-tolerance - Dependability of smart software and systems - Empirical analysis techniques and integration with formal methods - Applications and industrial experience reports - Software tools to assist the construction or analysis of software systems ************************ RESEARCH PAPERS TRACK ************************ Research papers will be published in the SETTA 2021 proceedings as a volume in Springer's LNCS series. Papers should be submitted electronically through the EasyChair submission web page . ------------------------ Important Dates ------------------------ Abstract & Paper Submission: July 23, 2021 (AoE) Notification to authors: September 3, 2021 (AoE) Camera-ready versions: September 20, 2021 (AoE) Conference date: November 25-27, 2021 ------------------------ Submission Guidelines ------------------------ Authors are invited to submit papers on original research, industrial applications, or position papers proposing challenges in fundamental research and technology. The latter two types of submissions are expected to contribute to the development of formal methods and applications thereof in software engineering. This is done by either substantiating the advantages of integrating formal methods into the development cycle or through delineating the need for research by demonstrating weaknesses of existing technologies, especially when addressing new application domains. Submissions can take the form of either regular or short papers. Regular papers should not exceed 16 pages (excluding references) in LNCS format. Short papers can discuss ongoing research at an early stage, including PhD projects. Short papers should not exceed 6 pages (excluding references) in LNCS format. ************************ JOURNAL FIRST PAPERS TRACK ************************ The journal first papers track of SETTA 2021 is implemented in partnership with the Journal of Computer Science and Technology (JCST). Accepted papers to this track will be presented and discussed at the conference SETTA 2021. Papers should be submitted electronically through the journal's submission web page . ------------------------ Important Dates ------------------------ Paper Submission: May 31, 2021 (AoE) Tentative acceptance decision: July 16, 2021 (AoE) Acceptance decision: August 30, 2021 (AoE) Conference date: November 25-27, 2020 ------------------------ Submission Guidelines ------------------------ To submit to this track, authors have to make a journal submission to the Journal of Computer Science and Technology, and select the type of submission to be for the SETTA 2021 special issue. It is recommended that submitted papers follow the submission guidelines of JCST and do not exceed 15 pages including references. ************************ COMMITTEES ************************ General Chair: - Chen Zhao, Institute of Software, Chinese Academy of Sciences Program Chair: - Shengchao Qin, Teesside University - Jim Woodcock, University of York - Wenhui Zhang, Institute of Software, Chinese Academy of Sciences Local Organisation Chair: - Zhilin Wu, Institute of Software, Chinese Academy of Sciences Publicity Chair: - Fu Song, ShanghaiTech University Program Committee Members: - Yamine Ait-Ameur (IRIT/INPT-ENSEEIHT) - Richard Banach (The University of Manchester) - Lei Bu (Nanjing University) - Milan Ceska (Brno University of Technology) - Sudipta Chattopadhyay (Singapore University of Technology and Design) - Liqian Chen (National University of Defense Technology) - Yu-Fang Chen (Academia Sinica) - Alessandro Cimatti (Fondazione Bruno Kessler) - Florin Craciun (Babes-Bolyai University) - Yuxin Deng (East China Normal University) - Wei Dong (National University of Defense Technology) - Hongfei Fu (Shanghai Jiao Tong University) - Jan Friso Groote (Eindhoven University of Technology) - Nan Guan (The Hong Kong Polytechnic University) - Dimitar Guelev (Bulgarian Academy of Sciences) - Thai Son Hoang (University of Southampton) - Chao Huang (University of Liverpool, Northwestern University) - Yu Jiang (Tsinghua University) - Sebastian Junges (University of California, Berkeley) - Guoqiang Li (Shanghai Jiao Tong University) - Yi Li (Nanyang Technological University) - Zhiming Liu (Southwest University) - Yang Liu (Nanyang Technological University) - Tiziana Margaria (Lero) - Dominique Mery (Universite de Lorraine, LORIA) - Stefan Mitsch (Carnegie Mellon University) - Jun Pang (University of Luxembourg) - Dave Parker (University of Birmingham) - Yu Pei (HK Polytechnic University) - Shengchao Qin (Teesside University) - Mickael Randour (F.R.S.-FNRS & Universite de Mons) - Stefan Schupp (TU Wien) - Zhiping Shi (Beijing Eng. Research Center of High Reliable Embbeded Systems) - Fu Song (ShanghaiTech University) - Jeremy Sproston (University of Turin) - Ting Su (East China Normal University) - Jun Sun (Singapore Management University) - Meng Sun (Peking University) - Andrea Turrini (Institute of Software, CAS) - Tarmo Uustalu (Reykjavik University) - Jaco van de Pol (Aarhus University) - Jim Woodcock (University of York) - Xiaofei Xie (Kyushu University) - Zhiwu Xu (Shenzhen University) - Bai Xue (Institute of Software, CAS) - Chenyi Zhang (Jinan University) - Wenhui Zhang (Institute of Software, CAS) ************************ VENUE ************************ The conference will be held in Beijing, China. ************************ CONTACT ************************ All questions about submissions should be emailed to setta2021 at easy*chair.org (remove *). From elena.zucca at unige.it Fri May 7 15:12:25 2021 From: elena.zucca at unige.it (Elena Zucca) Date: Fri, 7 May 2021 15:12:25 +0200 Subject: [ecoop-info] Dahl-Nygaard Prizes 2021: nominations due Message-ID: <4953B758-0E2F-4745-9C8E-E461A10A30AA@unige.it> ============================================================================ Dahl-Nygaard Prizes 2021: nominations due ============================================================================ In 2004, AITO established an annual prize in the name of Ole-Johan Dahl and Kristen Nygaard to honour their pioneering work on object-orientation. Now is the time to nominate deserving candidates for the Dahl-Nygaard prizes 2021. The deadline for nomination is May 24th and the nomination process requires only that you fill out this simple form: https://forms.gle/5uRF4wa9xAuyW8C58 The statutes for the prizes can be found at http://www.aito.org/Dahl-Nygaard/statutes.html though please note that due to COVID-19 the dates for 2021 are different this year. If you have any questions, please contact the Chair: Elena Zucca > =================================== Elena Zucca DIBRIS, Univ. di Genova via Dodecaneso 35, 16146 Genova, ITALY email: elena.zucca at unige.it phone: +39-010-353 6730 =================================== From s-dgq at thorsten-wissmann.de Sat May 8 22:21:06 2021 From: s-dgq at thorsten-wissmann.de (Thorsten Wissmann) Date: Sat, 8 May 2021 22:21:06 +0200 Subject: [ecoop-info] CALCO 2021: Second call for papers Message-ID: <20210508202106.GA29621@dobby> [Apologies if you receive multiple copies of this message] ========================================================= CALL FOR PAPERS: CALCO 2021 9th International Conference on Algebra and Coalgebra in Computer Science 31 Aug - 03 Sep 2021 Salzburg, Austria (if possible) Co-located with MFPS XXXV ========================================================== Paper submission: 3 June 2021 Author notification: 29 July 2021 Final version due: 12 August 2021 ========================================================== Scope ===== Algebraic and coalgebraic methods and tools are a mainstay of computer science. From data types to development techniques and specification formalisms, both theoreticians and practitioners have benefited from the large body of research proposed and implemented since the pioneering works of the 1960s. CALCO aims to bring together researchers with interests in both foundational and applicative uses of algebra and coalgebra in computer science, traditional as well as emerging ones. CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science) and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), Winchester (UK, 2011), Warsaw (Poland, 2013), Nijmegen (the Netherlands, 2015), Ljubljana (Slovenia,2017), and London (UK, 2019). The 9th edition will be held in Salzburg, Austria, colocated with MFPS XXXVII. Joint CALCO-MFPS Speaker ======================== * Eugenia Cheng (School of the Art Institute of Chicago) Submission Categories ===================== CALCO invites papers relating to all aspects of algebraic and coalgebraic theory and applications, and distinguishes between four categories of submissions. 1. Regular papers that report * results on theoretical foundations * novel methods and techniques for software development * experiences with the technology transfer to industry. 2. (Co)Algebraic Pearls papers that * present possibly known material in a novel and enlightening way. 3. Early ideas abstracts that lead to * presentations of work in progress * proposals for original venues of research. 4. Tool presentation papers that * report on the features and uses of algebraic/coalgebra-based tools. Topics of Interests =================== All topics relating to algebraic and coalgebraic theory and applications are of interest for CALCO, and among them * Models and logics - Automata and languages - Graph transformations and term rewriting - Modal logics - Proof systems - Relational systems * Algebraic and coalgebraic semantics - Abstract data types - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * Methodologies in software and systems engineering - Development processes - Method integration - Usage guidelines * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Concurrent, distributed, mobile, cyber-physical, and context-aware computational paradigms - Systems theory and computational models (chemical, biological, etc.) * System specification and verification - Formal testing and quality assurance - Generative programming and model-driven development - Integration of formal specification techniques - Model-driven development - Specification languages, methods, and environments * Tools supporting algebraic and coalgebraic methods for - Advances in automated verification - Model checking - Theorem proving - Testing * String diagrams and network theory - Theory of PROPs and operads - Rewriting problems and higher-dimensional approaches - Automated reasoning with string diagrams - Applications of string diagrams * Quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra Submissions Guidelines ====================== All submissions will be handled via EasyChair https://easychair.org/conferences/?conf=calco2021 The format for all submissions is specified by LIPIcs. Please use the latest version of the style http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Regular papers ============== Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Regular papers should be maximum 15 pages long, excluding references. Proofs omitted due to space limitations may be included in a clearly marked appendix. Each submission will be evaluated by at least three reviewers. Proceedings will be published in the Dagstuhl LIPIcs Leibniz International Proceedings in Informatics series. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org), containing extended versions of selected papers, is planned. (Co)algebraic pearls ==================== This is a new submission category in 2021. Explaining a known idea in a new way may make as strong a contribution as inventing a new idea. We encourage the submission of pearls: elegant essays that illustrate an idea in a beautiful or didactically clever way, perhaps by developing an application. Pearls are typically short and concise and so should not be longer than regular papers in the format specified by LIPIcs. Authors who feel they need a bit more space should consult with the PC co-chairs. The accepted papers will be included in the final proceedings of the conference. Each submission will be evaluated by at least two reviewers. Early ideas abstracts ===================== Submissions should not exceed 2 pages in the format specified by LIPIcs. The volume of selected abstracts will be made available on arXiv and on the CALCO pages. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere. Each submission will be evaluated by at least two reviewers. Tool papers =========== Submissions should not exceed 5 pages in the format specified by LIPIcs. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission for download and evaluation. Each submission will be evaluated by at least three reviewers, and one or more of the reviewers will be asked to download and use the tool. Best Paper and Best Presentation Awards ======================================= This edition of CALCO will feature two awards: a Best Paper Award whose recipients will be selected by the PC before the conference and a Best Presentation Award, elected by the participants. Programme Committee =================== * Zena M. Ariola (University of Oregon) * Paolo Baldan (University of Padova) * Rui Soares Barbosa (International Iberian Nanotechnology Laboratory) * Luis Caires (NOVA University Lisbon) * Francisco Dur?n (University of M?laga) * Brendan Fong (Massachusetts Institute of Technology) * Fabrizio Romano Genovese (University of Pisa) * Jules Hedges (University of Strathclyde, Glasgow) * Thomas Hildebrandt (IT University of Copenhagen) * Peter Jipsen (Chapman University) * Wolfram Kahl (McMaster University) * Marie Kerjean (CNRS -- Laboratoire d'Informatique de Paris Nord) * Jean Krivine (CNRS -- Universit? de Paris) * Michele Loreti (University of Camerino) * Sonia Marin (University College London) * Manuel A. Martins (University of Aveiro) * Annabelle McIver (Macquarie University) * Hernan Melgratti (University of Buenos Aires) * Koko Muroya (RIMS, Kyoto University) * Elaine Pimentel (UFRN) * Elvinia Riccobene (University of Milan) * Alex Simpson (University of Ljubljana) * David I. Spivak (Massachusetts Institute of Technology) * Christine Tasson (LIP6 - Sorbonne Universit?) * Tarmo Uustalu (Reykjavik University/Tallinn U. of Technology) * Maaike Zwart (University of Oxford) * Rob van Glabbeek (Data61 - CSIRO) Chairs ====== * Fabio Gadducci (University of Pisa) * Alexandra Silva (University College London) Local Organiser =============== * Ana Sokolova (University of Salzburg) From chisvasileandrei at gmail.com Wed May 12 11:11:17 2021 From: chisvasileandrei at gmail.com (Andrei Chis) Date: Wed, 12 May 2021 11:11:17 +0200 Subject: [ecoop-info] CFP: SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering Message-ID: ------------------------------------------------------------------------ 14th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2021) October 17-19, 2021 Chicago, Illinois https://conf.researchr.org/home/sle-2021 http://www.sleconf.org/2021 Follow us on twitter: https://twitter.com/sleconf ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 14th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2021), held in conjunction with SPLASH, GPCE and SAS 2021. Based on the future developments the conference will be hosted in Chicago, Illinois, United States on October 17-19, 2021 or will be held as a virtual event. --------------------------- Scope --------------------------- The ACM SIGPLAN International Conference on Software Language Engineering (SLE) is devoted to the principles of software languages: their design, their implementation, and their evolution. With the ubiquity of computers, software has become the dominating intellectual asset of our time. In turn, this software depends on software languages, namely the languages it is written in, the languages used to describe its environment, and the languages driving its development process. Given that everything depends on software and that software depends on software languages, it seems fair to say that for many years to come, everything will depend on software languages. Software language engineering (SLE) is the discipline of engineering languages and their tools required for the creation of software. It abstracts from the differences between programming languages, modelling languages, and other software languages, and emphasizes the engineering facet of the creation of such languages, that is, the establishment of the scientific methods and practices that enable the best results. While SLE is certainly driven by its metacircular character (software languages are engineered using software languages), SLE is not self-satisfying: its scope extends to the engineering of languages for all and everything. Like its predecessors, the 14th edition of the SLE conference, SLE 2021, will bring together researchers from different areas united by their common interest in the creation, capture, and tooling of software languages. It overlaps with traditional conferences on the design and implementation of programming languages, model-driven engineering, and compiler construction, and emphasizes the fusion of their communities. To foster the latter, SLE traditionally fills a two-day program with a single track, with the only temporal overlap occurring between co-located events. --------------------------- Topics of Interest --------------------------- SLE 2021 solicits high-quality contributions in areas ranging from theoretical and conceptual contributions, to tools, techniques, and frameworks in the domain of software language engineering. Broadly speaking, SLE covers software language engineering rather than engineering a specific software language. Topics of interest include, but are not limited to: * Software Language Design and Implementation - Approaches to and methods for language design - Static semantics (e.g., design rules, well-formedness constraints) - Techniques for specifying behavioral / executable semantics - Generative approaches (incl. code synthesis, compilation) - Meta-languages, meta-tools, language workbenches * Software Language Validation - Verification and formal methods for languages - Testing techniques for languages - Simulation techniques for languages * Software Language Integration and Composition - Coordination of heterogeneous languages and tools - Mappings between languages (incl. transformation languages) - Traceability between languages - Deployment of languages to different platforms * Software Language Maintenance - Software language reuse - Language evolution - Language families and variability * Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) * Empirical evaluation and experience reports of language engineering tools - User studies evaluating usability - Performance benchmarks - Industrial applications --------------------------- Important Dates --------------------------- All dates are Anywhere on Earth. * Mon 5 Jul 2021 - Abstract Submissions * Fri 9 Jul 2021 - Paper Submissions * Wed 1 Sep 2021 - Review Notification * Wed-Fri 1-3 Sep 2021 - Author Response Period * Mon 13 Sep 2021 - Notification * Wed 15 Sept 2021 - Artifact Submissions * Tue 28 Sep 2021 - Artifact Kick-the-tires Author Response * Tue 12 Oct 2021 - Artifact Notification * Sun-Tue 17-19 Oct 2021 - SLE Conference --------------------------- Types of Submissions --------------------------- SLE 2021 solicits three types of papers: * Research papers These are "traditional" papers detailing research contributions to SLE. These papers have a limit of 12 pages, and may optionally include 8 further pages of bibliography/appendices * Tool papers These are papers which focus on the tooling aspects which are often forgotten or neglected in research papers. A good tool paper focuses on practical insights that are likely to be useful to other implementers or users in the future. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must not exceed 5 pages and may optionally include 1 further page of bibliography / appendices. They may optionally come with an appendix with a demo outline / screenshots and/or a short video/screencast illustrating the tool. The title of a Tool paper must start with "Tool Demo:". *New ideas / vision papers These are papers on forward-looking, innovative research in software language engineering. Our aim here is to accelerate the exposure of the software language engineering community to early yet potentially ground-breaking research results, or to techniques and perspectives that challenge the status quo in the discipline. New ideas / vision papers must not exceed 5 pages, and may optionally include 1 further page of bibliography / appendices. The title of a new ideas / vision papers must start with "New Ideas:" or "Vision:". --------------------------- Artifact Evaluation --------------------------- For the sixth year, SLE will use an evaluation process for assessing the quality of the artifacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted papers are invited to submit artifacts. For more information, please have a look at the Artifact Evaluation page (http://www.sleconf.org/2021/ArtifactEvaluation.html). --------------------------- Submission --------------------------- Submissions have to use the ACM SIGPLAN Conference Format ?acmart? ( http://sigplan.org/Resources/Author/#acmart-format); please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template( https://www.acm.org/binaries/content/assets/publications/consolidated-tex-template/acmart-master.zip), and that the document class definition is \documentclass[sigplan,anonymous,review]{acmart}. Do not make any changes to this format! Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes in figures and tables are legible. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. In this line, SLE will follow the double-blind process. Author names and institutions should be omitted from submitted papers, and references to the authors? own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. All submissions must be in PDF format. Concurrent Submissions: Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN?s Republication Policy ( http://www.sigplan.org/Resources/Policies/Republication). Submitters should also be aware of ACM?s Policy and Procedures on Plagiarism ( http://www.acm.org/publications/policies/plagiarism_policy). Submissions that violate these policies will be desk-rejected. Submission Site: Submissions will be accepted at https://sle21.hotcrp.com/ --------------------------- Reviewing Process --------------------------- All submitted papers will be reviewed by at least three members of the program committee. Research papers and tool papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the conference call. New ideas / vision papers will be evaluated primarily concerning novelty, significance, readability, and alignment with the conference call. For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review, at the discretion of the PC chairs. --------------------------- Awards --------------------------- * Distinguished paper: Award for most notable paper, as determined by the PC chairs based on the recommendations of the programme committee. * Distinguished reviewer: Award for distinguished reviewer, as determined by the PC chairs. * Distinguished artifact: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. --------------------------- Publication --------------------------- All accepted papers will be published in the ACM Digital Library. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. --------------------------- Organisation --------------------------- Chairs: * General chair: Eelco Visser, Delft University of Technology, Netherlands * Program co-chair: Dimitris Kolovos, University of York, United Kingdom * Program co-chair: Emma S?derberg, Lund University, Sweden * Artefact Evaluation co-chair: Elias Castegren, KTH, Sweden * Artefact Evaluation co-chair: Andreas Wortmann, RWTH Aachen University, Germany Program Committee: Vincent Aranega, University of Lille, France Mikhail Barash, University of Bergen, Norway Melanie Bats, Obeo, France David Broman, KTH, Sweden Shigeru Chiba, University of Tokyo, Japan Alfonso de la Vega, University of York, United Kingdom Juan De Lara, Universidad Aut?noma de Madrid, Spain Davide Di Ruscio, University of L'Aquila, Italy Marcos Didonet del Fabro, Universidade Federal do Paran?, Brazil Juergen Dingel, Queen's University, Canada Michalis Famelis, University of Montreal, Canada Bernd Fischer, Stellenbosch University, South Africa Niklas Fors, Lund University, Sweden Antonio Garcia Dominguez, Aston University, United Kingdom Esther Guerra, Universidad Aut?noma de Madrid, Spain G?rel Hedin, Lund University, Sweden Stuart Hutchesson, Independent, United Kingdom Adrian Johnstone, Royal Holloway, United Kingdom Paddy Krishnan, Oracle Labs, Australia James Noble, Victoria University of Wellington, New Zealand Carlos Olarte, ECT UFRN, Brazil Jo?o Saraiva, HASLab / INESC TEC and Universidade do Minho, Portugal Anthony Sloane, Macquarie University, Australia Daniel Str?ber, Radboud University , Netherlands Ulyana Tikhonova, CWI, Netherlands Mark van der Brand, TU Eindhoven, Netherlands Juan Manuel Vara, Universidad Rey Juan Carlos, Spain Ran Wei, Dalian University of Technology, China Bahman Zamani, University of Isfahan, Iran --------------------------- Contact --------------------------- For additional information, clarification, or answers to questions, please contact the Programme Chairs (Emma S?derberg and Dimitris Kolovos). From luigi.santocanale at lis-lab.fr Wed May 12 17:01:11 2021 From: luigi.santocanale at lis-lab.fr (luigi.santocanale at lis-lab.fr) Date: Wed, 12 May 2021 17:01:11 +0200 (CEST) Subject: [ecoop-info] RAMiCS 2021 - Deadline Extension Message-ID: <20210512150111.D00B71740E1@platine.lidil.univ-mrs.fr> Apologies for multiple copies of this email; please re-distribute as you see fit. DEADLINE EXTENSION We have decided to extend the deadlines for RAMiCS 2021 by *two weeks*, please see below for the new deadlines and the CfP. 19th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2021 2 to 5 November 2021, CIRM, Marseille, France https://ramics19.lis-lab.fr/ IMPORTANT DATES: Abstract Submission: 28 May 2021 Paper Submission: 4 June 2021 Author Notification: 23 July 2021 Final Version: 12 August 2021 RAMiCS 2021: 2 to 5 November 2021 INVITED TALKS: Marcelo Frias, Buenos Aires Institute of Technology, Argentina Barbara K?nig, Duisburg-Essen University, Germany Dmitriy Zhuk, Lomonosov Moscow State University, Russia GENERAL INFORMATION: Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. RAMiCS 2021 will take place at CIRM, the Centre International de Rencontres Math?matiques at the beautiful Luminy campus close to Marseille. Depending on the Covid-19 situation, it will take the form of a physical conference, a virtual conference, or a hybrid between the two. There will be no registration fees to the conference. A limited number of grants, covering lodging and catering, are supplied by CIRM and the Archim?de Institute. TOPICS: We invite submissions in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics - their use in the theories of automata, concurrency, formal languages, games, networks and programming languages - the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories - their formalisation with theorem provers * Applications - tools and techniques for program correctness, specification and verification - quantitative and qualitative models and semantics of computing systems and processes - algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control - industrial applications SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics2021 All papers will be peer-reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must not be published or under review for publication elsewhere. Submissions must be in English using a PDF not exceeding 16 pages in LNCS style. Submissions must provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for referees. Deviation from these requirements may lead to rejection. One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX. Formatting instructions and LNCS style files are available at http://www.springer.de/comp/lncs/authors.html As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. COMMITTEES: Organising Committee -------------------- Conf. & PC Co-Chair: Mai Gehrke, LJAD CNRS, France Conf. & PC Co-Chair: Uli Fahrenberg, Ecole polytechnique, France Conf. & PC Co-Chair: Michael Winter, Brock University, Canada Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France Programme Committee ------------------- Bahareh Afshari, University of Amsterdam, Holland Christel Baier, Technische Universit?t Dresden, Germany Manuel Bodirsky, Technische Universit?t Dresden, Germany Ignacio F?bregas, Universidad Complutense de Madrid, Spain Uli Fahrenberg, Ecole polytechnique, France Hitoshi Furusawa, Kagoshima University, Japan Mai Gehrke, LJAD CNRS, France Silvio Ghilardi, Universit? degli Studi di Milano, Italy Roland Glueck, German Aerospace Center, Germany Walter Guttmann, University of Canterbury, New Zealand Peter H?fner, Australian National University, Australia Ali Jaoua, Qatar University, Qatar Peter Jipsen, Chapman University, USA Sebastiaan Joosten, Dartmouth College, USA Laura Kovacz, Technische Universit?t Wien, Austria Tadeusz Litak, Erlangen-N?rnberg University, Germany Roger Maddux, Iowa State University, USA Dale Miller, Ecole polytechnique, France Martin Mueller, University of Augsburg, Germany Daniela Petrisan, IRIF, University Paris 7, France Damien Pous, CNRS, ENS Lyon, France David Pym, University College, London, UK Mehrnoosh Sadrzadeh, University College, London, UK Luigi Santocanale, LIS, Aix-Marseille University, France Georg Struth, University of Sheffield, UK Sam van Gool, IRIF, University Paris 7, France Michael Winter, Brock University, Canada From michal.f at cs.technion.ac.il Wed May 12 22:36:54 2021 From: michal.f at cs.technion.ac.il (michal.f) Date: Wed, 12 May 2021 23:36:54 +0300 Subject: [ecoop-info] ACM SYSTOR 2021: Call for Participation, June 14 - 16, Online Message-ID: <51c6f659a3c71324cffbe18c9e9db003@cs.technion.ac.il> ========================================= C A L L F O R O N L I N E P A R T I C I P A T I O N A C M S Y S T O R 2 0 2 1 V I R T U A L 14th ACM International Systems and Storage Conference June 14 - 16, 2021, Online https://www.systor.org/2021/ [1] ========================================= Conference Updates: ================= - ACM SYSTOR will be held as a *virtual* event, June 14 - 16. - Registration is free, but participants must register (registration link below). - The full program is to be announced soon. Registration: ================= Registration is free, but participants must register using the following link: https://systor.org/register Accepter Papers: ================= https://systor.org/accepted Keynote speakers: ================= - Kim Keeton, HP Labs - Alexandra Fedorova, UBC - Shan Lu, University of Chicago Further details can be found at: https://systor.org/keynote Conference Scope: ================= The ACM International Systems and Storage Conference (SYSTOR) is an excellent international forum for interaction across the systems research community. The program includes innovative, peer-reviewed research papers in the broad area of systems and storage, as well as distinguished keynote lecturers. ACM SYSTOR is designed to appeal to academic and industrial researchers and practitioners, welcoming both students and seasoned professionals. Links: ------ [1] https://www.systor.org/2021/cfp.html