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 From caterina.urban at ens.fr Sat May 15 18:02:13 2021 From: caterina.urban at ens.fr (Caterina Urban) Date: Sat, 15 May 2021 18:02:13 +0200 Subject: [ecoop-info] SOAP 2021 - Call for Participation Message-ID: <18516F5C-1C33-4278-B923-628525BB7EE1@ens.fr> CALL FOR PARTICIPATION SOAP 2021 10th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis Virtual Workshop @ PLDI 2021, June 22nd, 2021 https://pldi21.sigplan.org/home/SOAP-2021 --------------------------------------------------------------------- ABOUT In line with past workshops, SOAP 2021 aims to bring together the members of the program analysis community to share new developments and shape new innovations in program analysis. The 10th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis (SOAP 2021) is co-located with the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2021). REGISTRATION Registration is open. Please visit: https://pldi21.sigplan.org/attending/Registration The deadline for early registration is May 31st, 2021. INVITED TALKS - S?bastien Bardin (CEA, France) Towards Security-Oriented Program Analysis - Cristina Cifuentes (Oracle Labs, Australia) Towards Intelligent Application Security - Patrick Cousot (New York University, USA) Dynamic Abstract Interpretation ACCEPTED PAPERS The list of accepted papers is available at: https://pldi21.sigplan.org/home/SOAP-2021#event-overview Hope to see you virtually in June! Lisa Nguyen Quang Do Caterina Urban SOAP 2021 Program Chairs From nicolas.guelfi at uni.lu Mon May 17 11:35:12 2021 From: nicolas.guelfi at uni.lu (nicolas.guelfi) Date: Mon, 17 May 2021 11:35:12 +0200 Subject: [ecoop-info] =?utf-8?q?=5BInformation=5D_CFP_-_Journal_Special_Is?= =?utf-8?q?sue_=E2=80=9CScientific_Approaches_to_Requirements_Engineering?= =?utf-8?q?=3A_Research=2C_Applications=2C_Education_and_Future_Directions?= In-Reply-To: References: Message-ID: <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<< We apologize for cross-postings. We appreciate your great help in forwarding this CFP to your colleagues. >>>>>>> >>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<>>>>>> Dear Colleague, As Guest Editors, we cordially invite you to submit a manuscript for consideration and possible publication in a Special Issue "Scientific Approaches to Requirements Engineering: Research, Applications, Education and Future Directions" to be published in the journal Information (http://www.mdpi.com/journal/information/, ISSN 2078-2489, Scopus citescore index 2019 = 2.4). The manuscript submission deadline is 15 July 2021. Software engineering offers theories, methods, and tools supporting the development of digital systems. Requirements engineering is a central discipline of software engineering, involved in eliciting and analysing the stakeholders' needs and specifying and managing the functional and non-functional properties of a system under development. These properties are the glue between the users, the conceptual design of the system, and its implementation. As such, they support the development of software systems that are useful, usable, and enjoyable to use. A scientific approach to the requirements engineering activities is critical to evaluate their foundations and effectiveness. As the software engineering field evolves rapidly, new aspects have to be considered. Agile and DevOps teams have been defining novel approaches to requirements engineering to handle evolution and time to market. Advances in artificial intelligence, and most specifically machine learning, introduce new challenges and opportunities. Systems of the future will have to cope with the complexity of new ethical and societal concerns (e.g., sustainability, human values, and gender issues) and with their evolution and impact on the society and ecosystem where they are deployed. The requirements engineering community must adapt its current practice to leverage and adequately evaluate the foundations and effectiveness of these new approaches to requirements engineering. This Special Issue aims at covering a wide variety of approaches to requirements engineering from a scientific perspective. It is intended to compile and disseminate original results from research, industry and academia, while also defining future directions as foreseen by the contributors. Potential topics include, but are not limited to, the following: * Software requirements methods * Software requirements application in industry * Software requirements tools * Software requirements education * Functional and non-functional requirements * Model driven requirements engineering * Formal methods for the early software development stages * Requirements engineering for artificial intelligence * User-centered software development * Requirements engineering for sustainability * Ethical and societal concerns (e.g., sustainability, human values) in software requirements * Requirements in Agile development * Requirements in DevOps processes The main manuscript types accepted for submission are as follows: * Article (from 10 to 25 pages including references) presenting an original research that should include scientifically sound experiments and provide a substantial amount of new information. * Short Communication (6 pages + 1 page maximum of references) of preliminary, but significant, results with potential impact on the targeted domain(s). * Review (min 10 pages - max 25 pages + references) providing either a concise and precise update on the latest progress made in a given area of research, or a systematic review on a specific topic. Systematic reviews should follow the PRISMA guidelines (http://www.prisma-statement.org/). For more details please visit the Special Issue website: https://www.mdpi.com/journal/information/special_issues/requirements_engineering Guest Editors Dr. Nicolas Guelfi (University of Luxembourg, Luxembourg) Dr. Ana Moreira (Universidade NOVA de Lisboa, Portugal) Dr. C?cile P?raire (Carnegie Mellon University, Silicon Valley Campus, USA) From damascenodiego at alumni.usp.br Mon May 17 20:13:19 2021 From: damascenodiego at alumni.usp.br (Carlos Diego Nascimento Damasceno) Date: Mon, 17 May 2021 20:13:19 +0200 Subject: [ecoop-info] REMINDER: SPLC 2021 Deadlines due June 11th In-Reply-To: References: Message-ID: ======================================= 25th ACM International Systems and Software Product Line Conference (SPLC 2021) REMINDER: Challenges solution, Industrial, Workshop, JFT, Demo and tools, and Doctoral symposium tracks - Submission due June 11th, 2021 Web site: http://splc2021.net/ Twitter: @splcconf ======================================= The Systems and Software Product Line Conference (SPLC) is a premier forum where researchers, practitioners, and educators can present and discuss the most recent ideas, trends, experiences, and challenges in the area of software and system product lines engineering. Conference events include opportunities to hear industry leaders' real-world experiences and researchers' latest ideas and to learn from both. The SPLC 2021 will be held online from September 6th to 11th. We are closely monitoring the COVID19 situation and we are committed to allowing for hybrid participation (both online and physical) if the situation improves. ===== Tracks ===== * Research Papers High-quality research work that uses established scientific methodologies, written using high standards of academic technical publications. * Industrial Systems and Software Product Lines Papers We invite submission of papers presenting challenges, innovations, and solutions to concrete industrial applications of software and product line engineering methodologies and tools. Submitted papers should showcase a significant software component to the research. * Challenges and Solutions Papers We highly encourage community members to provide concrete sets of case studies and problems that showcase SPL-related challenges. First, there will be a call for cases where researchers or practitioners are encouraged to contribute a concrete case study. Then, after the accepted case studies are published, there will be a call for solutions. Both accepted case descriptions and solutions will be included in the conference proceedings. * Journal First Papers Authors of journal-first papers are invited to submit their publications to present their work at SPLC. This is an opportunity to speak directly to the community and offer SPLC attendees a richer set of presentations. * Workshop Proposals We invite the community to submit proposals for one or two- day workshops in the field. In particular, workshops on challenging, emerging areas related to conference topics. * Demonstrations and Tools This track highlights live demonstrations of product-line tools and of practices tackling current industrial challenges. * Doctoral Symposium Papers The SPLC Doctoral Symposium aims to provide a supportive environment that enables doctoral students to get constructive feedback on their research. Students will have the opportunity to discuss their work with experienced members of the community. * Tutorial Proposals Tutorials provide a valuable opportunity for participants to expand their knowledge and skills in product line engineering. Tutorials may focus on introductory product lines topics, or on advanced tools, approaches, methods, and best practices. ========================================== SPLC will celebrate its silver jubilee at SPLC 2021! ========================================== At SPLC 2021, we will celebrate SPLC's silver jubilee in a dedicated session. Distinguished speakers will shed their light on the history of SPLC and software product lines - in research and in industry. We also plan to show a collection of photos/videos/stories by SPLC participants, for which we seek your help. Please send any material you believe suitable to SPLC's publicity chair at splc.jubilee.25th at gmail.com. The fact that SPLC 2021 is the 25th edition of SPLC less than 25 years after the first SPLC surely is one such a remarkable story: https://splc.net/history/ ============= Important Dates ============= * Industrial system and product lines tracks http://splc2021.net/call-for-papers/call-for-papers-industrial-systems-and-software-product-lines/ Abstract submission: June 4, 2021 Paper submission: June 11, 2021 Notification: June 25, 2021 Camera-ready papers: July 9, 2021 Conference: September 6-11, 2021 * Workshops http://splc2021.net/call-for-papers/call-for-workshop-proposals Workshop papers submission: June 11, 2021 Workshop papers notification: June 29, 2021 Final version of papers + summary of the workshop: July 9, 2021 * Journal First Track http://splc2021.net/call-for-papers/call-for-journal-first-papers Submission: June 11, 2021 Notification for invitation: June 25, 2021 Camera ready summary papers: July 9, 2021 * Demonstration and Tools Track http://splc2021.net/call-for-papers/call-for-data-demonstrations-and-tools Paper submission: June 11, 2021 Notification: June 25, 2021 Camera-ready papers: July 9, 2021 * Doctoral Symposium http://splc2021.net/call-for-papers/call-for-doctoral-symposium-papers/ Paper submissions: June 11, 2021 Notification: June 25, 2021 Camera-ready papers: July 9, 2021 ============= Organization ============= General Chairs Mohammad Reza Mousavi, University of Leicester, UK Pierre-Yves Schobbens, University of Namur, BE Research Track Chairs Ina Schaefer, Technische Universit?t Braunschweig, DE Maurice H. ter Beek, National Research Council (CNR), IT Workshops Chairs Xavier Devroey, TU Delft, NL Jos? Miguel Rojas, University of Leicester, UK Doctoral Symposium Chairs Rick Rabiser, Johannes Kepler University Linz, AT Mahsa Varshosaz, IT University of Copenhagen, DK Tutorials Chairs Monica Pinto, ITIS Software, University of M?laga, ES Leopoldo Teixeira, Federal University of Pernambuco (UFPE), BR Industrial Systems and Software Product Lines Chairs Thorsten Berger, Ruhr-Universit?t Bochum Johannes Noppen, British Telecom, UK Hall of Fame Chairs Goetz Botterweck, University of Limerick, IE Natsuko Noda, Shibaura Institute of Technology, JP Challenge Track Chairs Iris Reinhartz-Berger, University of Haifa, IL Paul Temple, University of Namur, BE Journal First Chairs Ferruccio Damiani, University of Torino, IT Justyna Petke, University College London, UK Demonstrations and Tools Chairs Tomoji Kishi, Waseda University, JP Jaejoon Lee, University of East Anglia, UK Proceedings Chair Hugo Leonardo da Silva Araujo, Federal University of Pernambuco, BR and University of Leicester, UK Local Organization Chairs Mohammad Reza Mousavi, University of Leicester, UK Jan Oliver Ringert, University of Leicester, UK Jos? Miguel Rojas, University of Leicester, UK Uraz T?rker, University of Leicester, UK Web and Publicity Chair Carlos Diego Nascimento Damasceno, Radboud University Nijmegen, NL -- Carlos Diego Nascimento Damasceno, Ph.D. Postdoctoral researcher @ Radboud University (iCIS) Publicity Chair @ SPLC 2021 *url: *https://damascenodiego.github.io/ From gregor at vt.edu Wed May 19 08:14:26 2021 From: gregor at vt.edu (Gregory Kildow) Date: Wed, 19 May 2021 02:14:26 -0400 Subject: [ecoop-info] Call for Papers -- GPCE 2021 Message-ID: Hello! Please share this information with any who are interested. Note: the dates for the conference itself, while roughly accurate, have not yet been finalized. Thank you! ------------------------------------------------------------------------------- GPCE 2021: 20th International Conference on Generative Programming: Concepts & Experiences October 17th-22nd, 2021 (co-located with SPLASH) Chicago, Illinois, United States (hybrid) https://conf.researchr.org/home/gpce-2021 ------------------------------------------------------------------------------- --------------------------- CALL FOR PAPERS --------------------------- The ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences is a programming languages conference focusing on techniques and tools for code generation, language implementation, and product-line development. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to: - program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, - domain-specific languages, language embedding, language design, and language workbenches, - feature-oriented programming, domain engineering, and feature interactions, - applications and properties of code generation, language implementation, and product-line development. Authors are welcome to check with the PC chair whether their planned papers are in scope. --------------------------- PAPER CATEGORIES --------------------------- GPCE solicits three kinds of submissions: - **Full Papers** reporting original and unpublished results of research that contribute to scientific knowledge in any GPCE topic listed above. Full paper submissions must not exceed 12 pages excluding bibliography. - **Short Papers** presenting unconventional ideas or visions about any GPCE topic listed above. Short papers do not always require complete results as in the case of a full paper. In this way, authors can introduce new ideas to the community and get early feedback. Please note that short papers are not intended to be position statements. Short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding bibliography. Short papers must have the text ?(Short Paper)? appended to their title, though any papers of 6 or fewer pages that are not tool demonstration papers will be considered as short papers. - **Tool Demonstrations** presenting tools for any GPCE topic listed above. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstrations must have the keywords ?Tool Demo? or ?Tool Demonstration? in their title. If the submission is accepted, the tool description will be published in the proceedings. The demonstration outline will only be used by the program committee for evaluating the submission. --------------------------- PAPER SELECTION --------------------------- The GPCE program committee will evaluate each submission according to the following selection criteria: - Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field. - Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways. - Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies. - Clarity. The paper must present its contributions and results clearly. --------------------------- IMPORTANT DATES --------------------------- - Abstract submission: July 5th, 2021 (Monday), AoE - Paper submission: July 9th, 2021 (Friday), AoE - Review notification: September 1st (Wednesday), AoE - Author response period: September 1st (Wednesday) till September 3rd (Friday), AoE - Final notification: September 13th (Monday) - Camera-ready submission: September 27th (Monday) --------------------------- PAPER SUBMISSION --------------------------- All submissions must use the ACM SIGPLAN Conference Format ?acmart?. Please be sure to use the latest LaTeX templates and class files. the SIGPLAN sub-format, and 10 point font. Consult the sample-sigplan.tex template and use the document-class \documentclass[sigplan,anonymous,review]{acmart}. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. 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 penalised if reviewers are able to infer their identities in implicit ways. Papers must be submitted using HotCRP: https://gpce2021.hotcrp.com/ For additional information, clarification, or answers to questions please contact the program chair. The official publication date is the date the proceedings are made available in the ACM Digital Library. Papers must describe work not currently submitted for publication elsewhere as described by the SIGPLAN Republication Policy ( http://www.sigplan.org/Resources/Policies/Republication/). --------------------------- ORGANIZATION --------------------------- - Steering Committee Chair: Sebastian Erdweg (Germany) - General Chair: Eli Tilevich (USA) - Program Chair: Coen De Roover (Belgium) - Publicity Chair: Gregory Kildow (USA) For additional information, clarification, or answers to questions please contact the program chair at coen.de.roover at vub.be --------------------------- PROGRAM COMMITTEE --------------------------- Aggelos Biboudis, Swisscom AG, Switzerland Christoph Reichenbach, Lund University, Sweden Daniel Str?ber, Radboud University Nijmegen, Sweden Elena Zucca, University of Genova, Italy Friedrich Steimann, Fernuniversit?t in Hagen, Germany Jaakko J?rvi, University of Turku, Finland Jeff Gray, University of Alabama, United States of America Justyna Petke, University College London, United Kingdom KC Sivaramakrishnan, IIT Madras, India Klaus Ostermann, University of Tuebingen, Germany Leopoldo Teixeira, Federal University of Pernambuco, Brazil Lidia Fuentes, Universidad de M?laga, Spain Maja Kirkeby, Roskilde University, Denmark Manuel Serrano, Inria, France Marianne Huchard, Universit? de Montpellier, France Martin Erwig, Oregon State University, United States of America Matthew Flatt, University of Utah, United States of America Mikhail Barash, University of Bergen, Norway Raffi Khatchadourian, City University of New York (CUNY) Hunter College, United States of America Sandro Stucki, Chalmers University of Technology / University of Gothenburg, Sweden Sebastian Erdweg, JGU Mainz, Germany Shigeru Chiba, The University of Tokyo, Japan Shoaib Kamil, Adobe, United States of America Sibylle Schupp, Hamburg University of Technology, Germany Thomas Th?m, University of Ulm, Germany Tijs van der Storm, CWI, Netherlands Ulrik Schultz, University of Southern Denmark, Denmark Vadim Zaytsev, Universiteit Twente, Netherlands Yukiyoshi Kameyama, University of Tsukuba, Japan -- *Gregor Kildow* Ph.D. Candidate Computer Science @ Virginia Tech Software Innovations Lab "*Ut Prosim*" From laurie at tratt.net Thu May 20 18:25:26 2021 From: laurie at tratt.net (Laurence Tratt) Date: Thu, 20 May 2021 17:25:26 +0100 Subject: [ecoop-info] Research Assistant/Associate in PL/VMs Message-ID: <20210520162526.fquzyng3apefqewa@overdrive.tratt.net> The soft-dev team at King's has an open position for a Research Assistant or Associate: apply on or before June 13th. This position requires a mix of research and engineering to understand how Virtual Machines (VMs; e.g. PyPy, V8) can be adapted to run effectively under a hardware capability system such as CHERI. The successful candidate will have a deep interest in programming and programming languages, but there is no expectation that the successful applicant will have previous experience with VMs: they will join a friendly team with existing VM skills to learn from and share with. We welcome people with different backgrounds/routes into research: there's no need to fit a standard profile. We are also comfortable, and experienced, with long-term largely-remote work within the UK. More details can be found here: https://jobs.kcl.ac.uk/gb/en/job/023308/Research-Associate You are welcome to email me with any informal queries you may have. Laurie -- Personal http://tratt.net/laurie/ Software Development Team http://soft-dev.org/ https://github.com/ltratt http://twitter.com/laurencetratt From miguel-areias at dcc.fc.up.pt Fri May 21 17:22:29 2021 From: miguel-areias at dcc.fc.up.pt (Miguel Areias) Date: Fri, 21 May 2021 16:22:29 +0100 Subject: [ecoop-info] CFP - 17th Doctoral Consortium (DC) on Logic Programming (ICLP-DC 2021) Message-ID: <7e47e1ac-deaf-f71e-3614-af8a901f0ef1@dcc.fc.up.pt> ========================================================================= ????????????????????????? CALL FOR PAPERS ???? ICLP DC 2021 - 17th Doctoral Consortium (DC) on Logic Programming ========================================================================= The 17th Doctoral Consortium (DC) on Logic Programming provides students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. The preliminary website of the DC can be found at: https://sites.google.com/view/iclp-dc-2021/iclp-2021-doctoral-consortium The DC will take place during the 37th International Conference on Logic Programming (ICLP) https://iclp2021.dcc.fc.up.pt (September 20-27, 2021), as a fully virtual event. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. Important Dates *************** Paper submission: July 15, 2021 Notification: August 01, 2021 Camera-ready copy: August 10, 2021 DC presentations: TBA (fully virtual event) DC students are highly recommended to attend the Autumn School on Logic Programming and Constraint Programming (https://sites.google.com/view/iclp-dc-2021/autumn-school-on-logic-programming). Audience ******** The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): ** Foundations: Semantics, Formalisms, Nonmonotonic reasoning, ?? Knowledge representation. ** Languages: Concurrency, Objects, Coordination, Mobility, Higher ?? Order, Types, Modes, Assertions, Modules, Meta-programming, ?? Logic-based domain-specific languages, Programming Techniques. ** Declarative programming: Declarative program development, Analysis, ?? Type and mode inference, Partial evaluation, Abstract ?? interpretation, Transformation, Validation, Verification, ?? Debugging, Profiling, Testing, Execution visualization. ** Implementation: Virtual machines, Compilation, Memory management, ?? Parallel/distributed execution, Constraint handling rules, Tabling, ?? Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and Co-inductive Logic ?? Programming, Constraint Logic Programming, Answer Set Programming, ?? Interaction with SAT, SMT and CSP solvers, Logic programming ?? techniques for type inference and theorem proving, Argumentation, ?? Probabilistic Logic Programming, Relations to object-oriented and ?? Functional programming. ** Applications: Databases, Big Data, Data integration and federation, ?? Software engineering, Natural language processing, Web and Semantic ?? Web, Agents, Artificial intelligence, Computational life sciences, ?? Education, Cybersecurity, and Robotics. Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC offers participants a convenient, more informal way to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will also provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. Discussants *********** Renowned experts and researchers in the fields of logic and constraint programming will join in evaluating submissions and will participate in the DC, providing valuable feedback to DC participants. Goals ***** ** To provide doctoral students working in the fields of logic and ?? constraint programming with a friendly and open forum to present ?? their research ideas, listen to ongoing work from peer students, ?? and receive constructive feedback. ** To provide students with relevant information about important ?? issues for doctoral candidates and future academics. ** To develop a supportive community of scholars and a spirit of ?? collaborative research. ** To support a new generation of researchers with information and ?? advice on academic, research, industrial, and non-traditional ?? career paths. Submission Details ****************** Submissions of the research summary must be made in EPTCS format (http://info.eptcs.org/) and submitted via EasyChair. All papers must be written in English and should be between 5 and 10 pages. For all accepted DC papers, the student is required to attend the DC program and give a presentation during the DC. A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees.? The submission package should consist of the research summary in the format mentioned above, a short vita or cover letter of the applicant, a letter of recommendation from applicant's faculty advisor, and one paragraph statement outlining how the school will benefit the applicant. All material is to be submitted electronically, in PDF format on the Easychair system. Easychair link: https://easychair.org/conferences/?conf=iclp2021 (Doctoral Consortium track) Research summary (make sure to include your complete name, address, and affiliation): The body of your research summary (no more than 10 pages, but 5 is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include the following sections: ** Introduction and problem description ** Background and overview of the existing literature ** Goal of the research ** Current status of the research ** Preliminary results accomplished (if any) ** Open issues and expected achievements ** Bibliographical references Review Criteria *************** The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. Registration ************ Registration is part of the ICLP 2021 registration. Registration costs for ICLP will be lower than usual since it is virtual this year. We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed. Program co-chairs ***************** Bart Bogaerts, Vrije Universiteit Brussel Carmine Dodaro, University of Calabria Program Committee ***************** Daniela Inclezan, Miami University OH Johannes Fichte, TU Dresden Fabio Fioravanti, University of Chieti-Pescara Gregory Gelfond, University of Nebraska at Omaha Zeynep G. Saribatur, Vienna University of Technology Frank Valencia, LIX, Ecole Polytechnique Matthias Van der Hallen, KU Leuven Yi Wang, Arizona State University Jessica Zangari, University of Calabria From abb at cs.stir.ac.uk Fri May 21 18:27:04 2021 From: abb at cs.stir.ac.uk (Andrea Bracciali) Date: Fri, 21 May 2021 17:27:04 +0100 Subject: [ecoop-info] RA position at Stirling Uni on in the area of blockchain and virtual currency Message-ID: [apologies for crossposting] A Research Associate position in the area of blockchain and virtual currency is available at the Computing Science and Mathematics division of the University of Stirling, UK. https://www.stir.ac.uk/about/work-at-stirling/list/details/?jobId=2543&jobTitle=Research%20Assistant -------- The RA will contribute to general research on blockchain and to the goals of the project EmFi (Emergency Finance), whose aim is to develop efficient and trustable financial instruments (programmable money) based on blockchain technology for support interventions in Covid-19 and other crisis scenarios. Research is open to investigating multiple aspects, including theoretical blockchain problems, the design of virtual currencies and programmable money, aspects of security and privacy. The RA will also be encouraged to contribute and explore new ideas and directions, and develop their career. Work will be carried out under the supervision of Dr. Andrea Bracciali in collaboration with the project consortium, with links to an international network of experts, supported by a major blockchain company, in collaboration with a major European city. We are looking for a candidate with expertise in blockchain technologies, with a PhD (or close to completion) in computing related areas. Competence in general areas like programming languages, verification, crypto and cryptography, and programming expertise are of strong interest. The post is available for 12 months on a competitive salary commensurate to experience. Flexible and remote working conditions can be considered. Ideally, the post will be filled as soon as a suitable candidate is found. Please contact Andrea Bracciali at andrea.bracciali at stir.ac.uk (a short CV or a short note on your background, appreciated). With best wishes Andrea Bracciali From vardi at cs.rice.edu Sun May 23 00:32:58 2021 From: vardi at cs.rice.edu (Moshe Y Vardi) Date: Sat, 22 May 2021 17:32:58 -0500 (CDT) Subject: [ecoop-info] [Vardi-list] Technology is Driving the Future, But Who Is Steering? Message-ID: In this year?s G?del lecture, Moshe Vardi will explain why the ethical lens is too narrow for dealing with technology?s impact on society. https://informatics.tuwien.ac.at/news/2020?utm_campaign=feed&utm_term=news -------------- next part -------------- _______________________________________________ Vardi-list mailing list Vardi-list at mailman.rice.edu https://mailman.rice.edu/mailman/listinfo/vardi-list From franziska.hauffe at informatics-europe.org Sun May 23 11:09:09 2021 From: franziska.hauffe at informatics-europe.org (Franziska Hauffe) Date: Sun, 23 May 2021 11:09:09 +0200 Subject: [ecoop-info] Call for Participation: Career Development Workshop for Young Researchers at ECSS 2021 In-Reply-To: References: Message-ID: <4e000265-d959-4eef-ff7e-6057208ee9b2@informatics-europe.org> As part of the 2021 European Computer Science Summit (ECCS) held in Madrid/online, the *Workshop on Career Development for Young Researchers* will take place on *Monday 25 October 2021.* The goal of the workshop, organised by Elisabetta Di Nitto (Politecnico di Milano) and Standa ?ivn? (University of Oxford), is to support young researchers (PhD students and Postdocs) in the development of their soft skills related to presentation abilities, networking, developing a research plan, and connections to industry. Invited speakers include Geraldine Fitzpatrick (TU Wien), Lynda Hardman (CWI), Justyna Petke (UCL), and Wolfgang Emmerich (Z?hlke ) as well as further speakers from industry. They will present their experience in creating a strong collaboration network, improving their leadership abilities, developing high-quality research, and moving the research into industry. Attendees of the workshop will attend invited talks and have the opportunity to actively participate in discussions. Moreover, they can submit their CV (up to 2 pages) and a research statement (up to 5 pages), on which they will receive feedback and suggestions for improvement. The final version of the accepted research statements will be published in the workshop proceedings as open access (the workshop organisers will submit the proceedings to CEUR-WS.org for online publication) and young researchers will present them in front of the broader ECCS audience in the form of a poster. *How to submit* CVs (up to 2 pages) and research statements (up to 5 pages) formatted in the LIPICS style should be submitted via EasyChair here: https://easychair.org/conferences/?conf=wcdyr2021 *Important dates* * Submission of contributions 15 June 2021 * Notification of acceptance 15 July 2021 * Camera-ready contributions 20 August 2021 * Workshop date 25 October 2021 If you have any questions regarding the workshop, please do not hesitate to contact administration at informatics-europe.org at any time. From scps at sscc.fr Sun May 23 13:39:22 2021 From: scps at sscc.fr (Smart CPS) Date: Sun, 23 May 2021 13:39:22 +0200 Subject: [ecoop-info] [SCPS 2021] Smart Cyber-Physical Systems Symposium Message-ID: <003401d74fc8$4ec13f60$ec43be20$@sscc.fr> Smart Cyber-Physical Systems Symposium (SCPS 2021) Leuven, Belgium. November 1-4, 2021 https://www.sscc.fr/scpsS2021/ SCPS 2021 CFP The smart cyber-physical systems (SCPS) are complex due to the composition and the combination of their components and physical elements of different aspects. Especially, the components are intelligent and autonomous executing sub-tasks to achieve global objectives by supporting different AI techniques under a variety of Internet of Things (IoT) constraints. Examples of such systems can be found in manufactories, smart cities, avionics, automotive systems, nuclear power plants, etc. Effectively, the different SCPS requirements especially dependability, safety, reliability, maintenance, and security are challenging due to the inherent complexity of SCPSs compositions. Moreover, it is not sufficient to ascertain one of them in isolation of one individual component or only a specific requirement. Further, faults, errors, and threats in SCPS could also be due to software programming imperfections, software failures that are directly triggered by hardware failure or, the dynamic/static interaction between the physical, digital and software parts especially in the presence of self-adaptive architecture, smart algorithms, and social actors. Therefore, SCPS must be studied as a whole, which sets this emerging discipline apart from these individually established fields. SCPS2021 forum provides a platform for professionals from academia, government, and industry to discuss how to address the increasing challenges facing SCPS. SCPS2021 invites submissions discussing theoretical and practical solutions tackling SCPS? challenges. SCPS2021 topics include, but are not limited to: SCPS Design and Development SCPS formalisms and models Model-based architecture for SCPS Coordination and orchestration for SCPS Composition and adaptation for SCPS Dynamic software architectures, and self-adaptive for SCPS Self-monitoring, and self-organizing SCPS Data based management for SCPS Big data and data base management for SCPS DWeb service interactions for SCPS SCPS Networking and Communication IoT architectures and infrastructures for SCPS Blockchains and distributed architectures for SCPS Edge and Fog computing for SCPS applications IoT services, and communication protocols for SCPS Sensors and actuators optimization for SCPS Energy consumption for SCPS SCPS Analysis and Processing Artificial intelligence for SCPS Deep learning, and machine learning for SCPS Formal methods techniques for SCPS Optimization and scheduling for SCPS Decision support for SCPS Resilience and recovering plans for SCPS SCPS Assurance SCPS's requirements specification Modeling, and analysis of attacks in SCPS Attacks detection in SCPS Error detection in SCPS Fault analysis for SCPS Correction management and maintenance for SCPS SCPS Applications Plugins and Tools for SCPS Use cases and case studies for SCPS SCPS in production supply chain environments SCPS in social and living environments Important Dates Submission Date: 31th July,2021 Notification to Authors: 27th August, 2021 Camera Ready Submission: 04th September, 2021 Submission System https://easychair.org/conferences/?conf=scps2021 Committee General Chair * Pascal Lorenz, University of Haute-Alsace, France * Abbdelhafid Abouaissa, University of Haute-Alsace, France Technical Program Co-Chairs * Joel Rodriguez, Instituto de Telecomunica??es, Portugal * Abdelhakim Baouya, Verimag, University of Grenoble Alpes, France From ecsa.publicity at gmail.com Tue May 25 21:35:36 2021 From: ecsa.publicity at gmail.com (ECSA Publicity) Date: Tue, 25 May 2021 21:35:36 +0200 Subject: [ecoop-info] [Deadlines in 1 month] CFP: 15th European Conference on Software Architecture (ECSA 2021) In-Reply-To: References: Message-ID: ********************************************************** CFP: 15th European Conference on Software Architecture (ECSA 2021) V?xj?, Sweden, September 13-17, 2021 (virtual) ********************************************************** Web: https://conf.researchr.org/home/ecsa-2021 Twitter: @ECSACONF The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative and significant findings and experiences in the field of software architecture research and practice. The 15th European Conference on Software Architecture (ECSA 2021) will be held from 13 to 17 September 2021. ECSA 2021 was originally planned in the beautiful city of V?xj? Sweden. Yet due to COVID-19 and considering what impact this may have on the conference, the ECSA Steering and Organizing Committee decided to organize ECSA 2021 as a virtual event. We would like to express our empathy and condolences with those affected by COVID-19. Our primary concern is that members of our community, and their families and friends, remain safe and well. ***SPECIAL ISSUE*** Selected papers from the conference will be considered for a Special Issue on ?Architecting for the Digital Society? in the Journal of Systems and Software (JCR IF 2.450): https://www.journals.elsevier.com/journal-of-systems-and-software/call-for-papers/special-issue-on-architecting-for-the-digital-society ***SCOPE*** ECSA 2021 aims to focus on how Software Architecture can enable the success of the next generation of software-enabled systems to address the challenges of society, such as health, climate, sustainability, mobility, diversity, and future of production. This raises questions such as: What are the current research successes that position Software Architecture at the core of the ability to build and sustain systems of the future? What automation, tools, and techniques do software architects and engineers need in order to ensure architectures developed are adaptable, evolvable, verifiable, and meet their quality and functional requirements? The program committee of 15th European Conference on Software Architecture seeks submissions of original and unpublished high-quality papers describing fundamental and applied research, new methods, approaches, and processes, novel applications, approaches for education and training in software architecture, and experience reports on all topics related to software architecture including, but not limited to: - Foundational principles of software architecture - Linking requirements engineering and software architectures - Quality attributes and software architectures - Architectural design, analysis and evaluation - Architecture description languages and meta-models - Architecture verification and validation - Management of architectural knowledge, decisions, and rationale - Cross-disciplinary efforts and software architecture - Architectures for reconfigurable and self-adaptive systems - Architectural concerns of autonomic systems - Architectural patterns, styles and tactics, reference architectures - Architecture viewpoints and views - Architecture conformance - Software architecture and virtualization - Architecture-centric process models and frameworks - Software architecture and agility, continuous integration, continuous development and DevOps tools - Component-based models and deployment, middleware - Software architecture and system architecture, including software-defined networking - Software tools and environments for architecture-centric software engineering - Cultural, economic, business, social and managerial aspects of software architecture - Software architecture in different areas such as the cloud/edge-cloud, big data, blockchain, cyber-physical systems, IoT, autonomous systems, systems of systems, energy-aware software - Architecture and technical debt - Empirical studies, systematic literature reviews, and mapping studies in software architecture. ***PAPER SUBMISSIONS*** ECSA 2021 seeks three types of papers for the research track: - Research papers (max. 16 pages in LNCS style) which describe novel contributions to software architecture research (submissions should cover work that has a sound scientific/technological basis and has been validated) - Education and training papers (max. 16 pages in LNCS style) that address methodologies, experiences and best practices in teaching and training of software architecture. - Short papers (max. 8 pages in LNCS style) that present novel and preliminary work-in-progress or challenges in a topic of software architecture research or education and training software architectures. Submissions must have a sound basis, but not necessarily be validated in full. All submitted papers will undergo a rigorous peer review process. Papers will be selected based on originality, quality, soundness and relevance. All contributions must be original, not published, accepted or submitted for publication elsewhere. Contravention of this concurrent submission policy will be deemed a serious breach of scientific ethics, and appropriate action will be taken in all such cases. For this aim, plagiarism checking will be conducted and any paper reporting more than 20% of coincidence will be desk-rejected. All contributions must be formatted according to the Springer LNCS style ( http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). The aforementioned limit of pages includes figures and references. Contributions need to be submitted in pdf format via EasyChair to the ECSA 2021 Research Track. The proceedings will be published by Springer-Verlag as part of the Lecture Notes in Computer Science (LNCS) series. ***IMPORTANT DATES*** Main Conference & Journal First - Notification of papers June 14, 2021 - Camera ready June 29, 2021 Industry Program - Notification of full papers June 14, 2021 - Full papers camera ready June 29, 2021 ---------------------------------------------------------------- - Short papers and presentations submission June 25, 2021 - Notification of short papers and presentations July 16, 2021 - Short papers camera ready July 29, 2021 Tools & Demos, Diversity, Equity and Inclusion & Doctoral Symposium: - Papers submission June 25, 2021 - Notification of papers July 16, 2021 - Camera ready July 29, 2021 Submission dates are 23:59h AoE (anywhere on Earth). Submission dates are strict and no extensions will be granted. ***ORGANIZERS*** - General Co-Chair, Raffaela Mirandola, Politecnico di Milano, Italy - General Co-Chair, Danny Weyns, KU Leuven, Belgium and Linnaeus University, Sweden - Program Co-Chair, Stefan Biffl, Technische Universit?t Wien, Austria - Program Co-Chair, Elena Navarro, University of Castilla?La Mancha, Spain - Industrial Co-Chair, Marjan Sirjani, Malardalen University, Sweden - Industrial Co-Chair, Welf L?we, Linnaeus University, Sweden - Workshop & Tutorial Co-Chair, Patrizia Scandurra, University of Bergamo, Italy - Workshop & Tutorial Co-Chair, Matthias Galster, University of Canterbury, New Zealand - Tool Demos Co-Chair, Romina Spalazzese, Malm? University, Sweden - Tool Demos Co-Chair, Ilias Gerostathopoulos, Vrije Universiteit Amsterdam, Netherlands - DE&I Co-Chair, Ingrid Nunes, Universidade Federal do Rio Grande do Sul (UFRGS), Brazil - DE&I Co-Chair, Thomas Vogel, Humboldt-Universit?t zu Berlin, Germany - Doctoral Symposium Co-Chair, Genaina Rodrigues, University of Brasilia, Brazil - Doctoral Symposium Co-Chair, Radu Calinescu, University of York, United Kingdom - Journal First Chair, Tomi M?nnist?, University of Helsinki, Finland - Proceeding Chair, Robert Heinrich, Karlsruhe Institute of Technology (KIT), Germany - Publicity Co-Chair, Aurora Mac?as, University of Castilla-La Mancha, Spain - Publicity Co-Chair, J?rgen Musil, TU Wien, Austria - Local Chair, Diana Unander, Linnaeus University, Sweden - Virtualization Co-Chair, Mauro Caporuscio, Linnaeus University, Sweden - Virtualization Co-Chair, Romain Christian Herault, Linnaeus University, Sweden - Web Chair, Mirko D?Angelo, Ericsson Research, Sweden From miguel-areias at dcc.fc.up.pt Wed May 26 20:49:34 2021 From: miguel-areias at dcc.fc.up.pt (Miguel Areias) Date: Wed, 26 May 2021 19:49:34 +0100 Subject: [ecoop-info] Call For Short Papers - 37th International Conference on Logic Programming (ICLP 2021) Message-ID: <3c96a7ae-62a0-6ed8-f726-05b940dd2c73@dcc.fc.up.pt> ========================================================================= ????????????????????????? CALL FOR SHORT PAPERS ??? The 37th International Conference on Logic Programming (ICLP 2021) ========================================================================= We are pleased to announce our distinguished invited speakers. ** William W. Cohen, Google AI ** John Hooker, CMU ** Phokion Kolaitis, UC Santa Cruz and IBM Almaden ** Stuart Russell, UC Berkeley ** Jeffrey Ullman, Stanford University ========================================================================= Contributions are sought in all areas of logic programming, including but not restricted to: ** Foundations: Semantics, Formalisms, Nonmonotonic reasoning, ?? Knowledge representation. ** Languages issues: Concurrency, Objects, Coordination, Mobility, ?? Higher order, Types, Modes, Assertions, Modules, Meta-programming, ?? Logic-based domain-specific languages, Programming techniques. ** Programming support: Program analysis, Transformation, Validation, ?? Verification, Debugging, Profiling, Testing, Execution ?? visualization. ** Implementation: Compilation, Virtual machines, Memory management, ?? Parallel/distributed execution, Constraint handling rules, Tabling, ?? Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and coinductive logic ?? programming, Constraint logic programming, Answer set programming, ?? Interaction with SAT, SMT and CSP solvers, Theorem proving, ?? Argumentation, Probabilistic programming, Machine learning. ** Applications: Databases, Big data, Data integration and federation, ?? Software engineering, Natural language processing, Web and semantic ?? web, Agents, Artificial intelligence, Computational life sciences, ?? Cybersecurity, Robotics, Education. Important Dates *************** ** Short Paper Submission: July 4, 2021 ** Notification: July 30, 2021 ** Camera-ready copy due: August 10, 2021 ** Conference: September 20--27, 2021 Submission Details ****************** Expected submissions must follow the instructions: ** Short papers (7 pages in EPTCS format (http://info.eptcs.org/), ?? including references) can describe published research. ?? The accepted short papers that describe original and previously ?? unpublished work will be published as technical communications, ?? along with the selected ICLP technical communications papers. ?? The accepted short papers that describe published research will be ?? made available at the conference webpage, with the permission of ?? the authors. All submissions must be written in English. Accepted technical communications will be presented during the conference. Authors of accepted technical communications will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Submissions will be done via EasyChair. The submission Web page for ICLP2021 is https://easychair.org/conferences/?conf=iclp2021 More details ************ https://iclp2021.dcc.fc.up.pt Any additional question can be directed towards ICLP Chairs: iclp2021 at easychair.org ========================================================================= From dongyoon at cs.stonybrook.edu Fri May 28 00:29:33 2021 From: dongyoon at cs.stonybrook.edu (Dongyoon Lee) Date: Thu, 27 May 2021 18:29:33 -0400 Subject: [ecoop-info] CGO 2022 Call For Papers Message-ID: [Please accept our apologies if you receive multiple copies of this call] IEEE/ACM International Symposium on Code Generation and Optimization (CGO) co-located with PPoPP, HPCA and CC Seoul, South Koreazw February 12 - 16, 2022 http://cgo.org/ CALL FOR PAPERS The International Symposium on Code Generation and Optimization (CGO) is a premier venue to bring together researchers and practitioners working at the interface of hardware and software on a wide range of optimization and code generation techniques and related issues. The conference spans the spectrum from purely static to fully dynamic approaches, and from pure software-based methods to specific architectural features and support for code generation and optimization. IMPORTANT DATES Abstract Submission: August 27, 2021 Paper Submission: September 3, 2021 Author Rebuttal Period: October 18 - October 22, 2021 Paper Notification: November 5, 2021 Artifact Evaluation Deadline: November 19, 2021 Artifact Evaluation Notification: December 17, 2021 Original contributions are solicited on, but not limited to, the following topics: - Code Generation, Translation, Transformation, and Optimization for performance, energy, virtualization, portability, security, or reliability concerns, and architectural support - Efficient execution of dynamically typed and higher-level languages - Optimization and code generation for novel and emerging programming models, hardware platforms, and domain-specific languages - Dynamic/static, profile-guided, feedback-directed, and machine learning based optimization - Static, Dynamic, and Hybrid Analysis for performance, energy, memory locality, throughput or latency, security, reliability, or functional debugging - Program characterization methods - Efficient profiling and instrumentation techniques; architectural support - Novel and efficient tools - Compiler design, practice and experience - Compiler abstraction and intermediate representations - Vertical integration of language features, representations, optimizations, and runtime support for parallelism - Solutions that involve cross-layer (HW/OS/VM/SW) design and integration - Deployed dynamic/static compiler and runtime systems for general purpose, embedded system and Cloud/HPC platforms - Parallelism, heterogeneity, and reconfigurable architectures - Optimizations for heterogeneous or specialized targets, GPUs, SoCs, CGRA - Compiler support for vectorization, thread extraction, task scheduling, speculation, transaction, memory management, data distribution and synchronization CALL FOR TOOLS AND PRACTICAL EXPERIENCE PAPERS Last two years CGO had a special category of papers called ?Tools and Practical Experience,? which was very successful. CGO this year will have the same category of papers. Such a paper is subject to the same page length guidelines, except that it must give a clear account of its functionality and a summary about the practice experience with realistic case studies, and describe all the supporting artifacts available. For papers submitted in this category that present a tool it is mandatory to submit an artifact to the Artifact Evaluation process and to be successfully evaluated. These papers will initially be conditionally accepted based on the condition that an artifact is submitted to the Artifact Evaluation process and that this artifact is successfully evaluated. Authors are not required to make their tool publicly available, but we do require that an artifact is submitted and successfully evaluated. Papers submitted in this category presenting practical experience are encouraged but not required to submit an artifact to the Artifact Evaluation process. The selection criteria for papers in this category are: - Originality: Papers should present CGO-related technologies applied to real-world problems with scope or characteristics that set them apart from previous solutions. - Usability: The presented Tools or compilers should have broad usage or applicability. They are expected to assist in CGO-related research, or could be extended to investigate or demonstrate new technologies. If significant components are not yet implemented, the paper will not be considered. - Availability: Preferences will be given to tools or compilers that are freely available (at either the source or binary level). Exceptions may be made for industry and commercial tools that cannot be made publicly available for business reasons. - Documentation: Publicly available tools should be presented on a web-site giving documentation and further information about the tool. - Test or Benchmark Repository: Tool papers must provide a suite of tests or benchmarks. Papers that make performance claims must provide benchmarks. - Foundations: Papers should incorporate the principles underpinning Code Generation and Optimization (CGO). However, a thorough discussion of theoretical foundations is not required; a summary of such should suffice. - Artifact Evaluation: The submitted artifact must be functional and supports the claims made in the paper. Submission of an artifact is mandatory for papers presenting a tool. ARTIFACT EVALUATION The Artifact Evaluation process is run by a separate committee whose task is to assess how the artifacts support the work described in the papers. This process contributes to improving reproducibility in research that should be a great concern to all of us. There is also some evidence that papers with a supporting artifact receive higher citations than papers without (Artifact Evaluation: Is It a Real Incentive? by B. Childers and P. Chrysanthis). Authors of accepted papers at CGO have the option of submitting their artifacts for evaluation within two weeks of paper acceptance. Authors of tools papers submitted in the category of ?Tools and Practical Experience Papers? must submit an artifact. To ease the organization of the AE committee, we kindly ask authors to indicate at the time they submit the paper, whether they are interested in submitting an artifact. Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed on the papers themselves. Additional information is available on the CGO AE web page. Authors of accepted papers are encouraged, but not required, to make these materials publicly available upon publication of the proceedings, by including them as ?source materials? in the ACM Digital Library. Authors should carefully consider the difference in focus with the co-located conferences when deciding where to submit a paper. CGO will make the proceedings freely available via the ACM DL platform during the period from two weeks before to two weeks after the conference. This option will facilitate easy access to the proceedings by conference attendees, and it will also enable the community at large to experience the excitement of learning about the latest developments being presented in the period surrounding the event itself. Best Regards, Dongyoon Lee Assistant Professor Dept. of Computer Science Stony Brook University 339 New CS Building, Stony Brook University, Stony Brook, NY 11794-2424 dongyoon at cs.stonybrook.edu https://www3.cs.stonybrook.edu/~dongyoon/ From peter.mueller at inf.ethz.ch Fri May 28 14:49:42 2021 From: peter.mueller at inf.ethz.ch (Mueller Peter) Date: Fri, 28 May 2021 12:49:42 +0000 Subject: [ecoop-info] PhD student and post-doc positions in Program Verification at ETH Zurich Message-ID: <2f2563e00189499b954af46034add330@inf.ethz.ch> The Programming Methodology group (http://www.pm.inf.ethz.ch/) at ETH Zurich is recruiting PhD students and post-docs in the area of program verification. We are especially interested in strengthening our teams working on Rust verification (https://www.pm.inf.ethz.ch/research/prusti.html) and Go verification (https://www.pm.inf.ethz.ch/research/gobra.html). Our goal is to develop verification techniques and tools that can be used to prove correctness and security of advanced systems. Key requirements for successful applications: * Strong commitment to research * Interest in combining theory and practice * For PhD students: excellent M.Sc. degree in Computer Science or in a related subject with a strong Computer Science component * For post-docs: publications in top conferences or journals * Proficiency in English and excellent communication skills, both oral and written Applications and questions should be sent to Peter M?ller (jobs-pm at inf.ethz.ch). The application should include a CV and a description of research interests. We will consider applications until the positions are filled. The start date is negotiable. More details about the positions: * PhD and post-doc positions are fully funded and have an attractive salary and social benefits. * Full scholarships are available for outstanding B.Sc. students interested in the PhD. * ETH has one of the top computer science departments in the world * Zurich is consistently ranked among the top destinations in the world for quality of life. General information on doctoral studies at ETH is available at www.inf.ethz.ch/doctorate.html From stephane.galland at utbm.fr Fri May 28 18:01:51 2021 From: stephane.galland at utbm.fr (=?ISO-8859-1?Q?St=E9phane?= Galland) Date: Fri, 28 May 2021 18:01:51 +0200 Subject: [ecoop-info] SARL Agent Programming Language 0.12 Message-ID: <039c3bf0079d09772d144da760742f008bd4f3a6.camel@utbm.fr> Dear Colleagues. The version 0.12 of the SARL Agent Programming Language is release ( http://www.sarl.io) This language enables you to create an application with agent-oriented concepts, inspired by the ASPECS methodology and the CRIO metamodel. Changes are listed in: http://www.sarl.io/download/changes_0.12.html Have fun. Prof. Dr St?phane GALLAND From acie at acie.eu Fri May 28 18:46:43 2021 From: acie at acie.eu (acie at acie.eu) Date: Fri, 28 May 2021 18:46:43 +0200 Subject: [ecoop-info] Call for Participation. CiE 2021: Connecting with computability Message-ID: (Apologies for multiple postings.) ====================== CALL FOR PARTICIPATION ====================== CiE 2021: Connecting with computability 5 - 9 July 2021 website: www.CiE2021.ugent.be [1] **Due to the current pandemic CiE 2021 will be held as a virtual conference.** _Registration now open_ CiE 2021 is the seventeenth conference organized by the Association Computability in Europe. The /Computability in Europe/ conference (CiE) series has built up a strong tradition for developing a scientific program which is interdisciplinary at its core bringing together all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in CS and other disciplines such as biology, mathematics, history, philosophy, and physics. For more information about the CiE conferences and the Association CiE, please have a look at: https://www.acie.eu/ [2]. CiE 2021 will be the second CiE conference that is organized as a virtual event and aims at a high-quality meeting that allows and invites active participation from all participants. It will be hosted virtually by Ghent University. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), Turku (2017), Kiel (2018), Durham (2019) and virtually in Salerno (2020) REGISTRATION: ========================= CiE 2021 will be hosted virtually. In order to enhance the social dimension of the conference we will be using gather.town with Zoom integrated. In order to register for CiE 2021, please go to: https://www.cie2021.ugent.be/registration-form/ Registration is free but required. PLENARY SPEAKERS ========================= Laura Crosilla (University of Oslo, Norway) Markus Lohrey (Universit?t Siegen. Germany) Russell Miller (tutorial speaker, CUNY, US) Joan Rand Moschovakis (Occidental College, emerita) Jo?l Ouaknine (Max Planck Institute for software systems, Germany) Christine Tasson (tutorial speaker, Universit? Paris Diderot, France) Keita Yokoyama (Japan Advanced Institute of Science and Technology, Japan) Henry Yuen (University of Toronto, Canada) SPECIAL SESSIONS ========================= /Church's thesis in constructive mathematics (HaPoC session)/ Marianna Antonutti-Marfori (Ludwig-Maximilians-Universit?t M?nchen, Germany) and Alberto Naibo (Universit? Paris 1 Panth?on-Sorbonne) _/Classical Computability theory: Open problems and solutions/_ Noam Greenberg (Victoria University of Wellington, New Zealand) and Steffen Lempp (University of Wisconsin) _/Computational geometry/_ Maike Buchin (Ruhr-Universit?t Bochum, Germany) and Maarten L?ffler (Utrecht University, Netherlands) /Computational Pangenomics/ Nadia Pisanti (University of Pisa, Italy) and Solon Pissis (University of Amsterdam, Netherlands) _/Proof theory and computation/_ David Fern?ndez Duque (Ghent University, Belgium) and Juan Pablo Aguilera (Ghent University, Belgium) _/Quantum computation and information/_ Harry Buhrman (Universiteit van Amsterdam, Netherlands) and Frank Verstraete (Ghent University, Belgium) WOMEN IN COMPUTABILITY ========================= The Computability in Europe conference series has a long tradition in setting up a Women in Computability program. For CiE 2021 we plan a Women in Computability workshop combined with an online mentoring program. For more details on the Special Interest Group Women in Computability, see: https://www.acie.eu/cie-conference-series/cie-cs-women-in-computability/ [3] ORGANIZED BY: ========================= Department of Mathematics WE16, Ghent University Organizing Committee: David Fern?ndez-Duque, chair (Ghent University) Juan Pablo Aguilera (Ghent University) David Belanger (Ghent University) Ana Borges (University of Barcelona) Liesbeth De Mol (University of Lille) Andreas Debrouwere (Ghent University) Lorenz Demey (Catholic University of Leuven) Eduardo Hermo-Reyes (University of Barcelona) Christian Michaux (University of Mons) Fedor Pakhomov (Ghent University) Pawel Pawlowski (Ghent University) Frederik Van De Putte (Ghent University) Peter Verd?e (Catholic University of Louvain) Andreas Weiermann (Ghent University) PROGRAMME COMMITTEE ========================= Marianna Antonutti Marfori (Ludwig Maximilian University of Munich) Nathalie Aubrun (CNRS, Universit? Paris-Saclay) Christel Baier (TU Dresden) Nikolay Bazhenov (Sobolev Institute of Mathematics) Marie-Pierre B?al (Universit? Paris-Est) Arnold Beckmann (Swansea University) David B?langer (Ghent University) Joel Day (Loughborough University) Liesbeth De Mol (CNRS, Universit? de Lille, PC co-chair) Carola Doerr (Sorbonne University, CNRS) J?r?me Durand-Lose (Universit? d'Orl?ans) David Fern?ndez-Duque (Ghent University) Zuzana Hanikov? (Academy of Sciences of the Czech Republic) Mathieu Hoyrup (LORIA) Assia Mahboubi (INRIA) Florin Manea (University of G?ttingen) Ir?ne Marcovici (Universit? de Lorraine) Klaus Meer (BTU Cottbus-Senftenberg) Ludovic Patey (Institut Camille Jordan) Cinzia Pizzi (University of Padova) Giuseppe Primiero (University of Milan) Simona Ronchi Della Rocca (Universit? di Torino) Paul Shafer (University of Leeds) Svetlana Selivanova (KAIST) Monika Seisenberger (Swansea University) Alexander Shen (CNRS & Univ. Montpellier 2) Alexandra Soskova (Sofia University) Mariya Soskova (University of Wisconsin-Madison) Frank Stephan (National University of Singapore) Peter Van Emde Boas (Universiteit van Amsterdam) Sergey Verlan (Universit? Paris Est - Cr?teil Val de Marne) Andreas Weiermann (Ghent University, PC co-chair) Damien Woods (Maynooth University) Links: ------ [1] http://www.CiE2021.ugent.be/ [2] https://www.acie.eu/ [3] https://www.acie.eu/cie-conference-series/cie-cs-women-in-computability/ From s-dgq at thorsten-wissmann.de Sat May 29 16:32:16 2021 From: s-dgq at thorsten-wissmann.de (Thorsten Wissmann) Date: Sat, 29 May 2021 16:32:16 +0200 Subject: [ecoop-info] CALCO 2021: Deadline extension and invited speakers Message-ID: <20210529143216.GA4668@dobby> [Apologies if you receive multiple copies of this message] ========================================================= CALL FOR PAPERS: CALCO 2021 9th International Conference on Algebra and Coalgebra in Computer Science 31 Aug - 03 Sep 2021 Salzburg, Austria (if possible) Co-located with MFPS XXXV ========================================================== Paper submission: 10 June 2021 AoE (NEW) Author notification: 29 July 2021 Final version due: 12 August 2021 ========================================================== Scope ===== Algebraic and coalgebraic methods and tools are a mainstay of computer science. From data types to development techniques and specification formalisms, both theoreticians and practitioners have benefited from the large body of research proposed and implemented since the pioneering works of the 1960s. CALCO aims to bring together researchers with interests in both foundational and applicative uses of algebra and coalgebra in computer science, traditional as well as emerging ones. CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science) and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), Winchester (UK, 2011), Warsaw (Poland, 2013), Nijmegen (the Netherlands, 2015), Ljubljana (Slovenia,2017), and London (UK, 2019). The 9th edition will be held in Salzburg, Austria, co-located with MFPS XXXVII. Joint CALCO-MFPS Invited Speaker ================================ * Eugenia Cheng (School of the Art Institute of Chicago) CALCO Invited Speakers ====================== * Valeria De Paiva (Topos Institute, Berkeley) * Holger Giese (Hasso-Plattner Institute, Potsdam) * Viktor Vafeiadis (Max Plank Institute, Kaiserslautern) Joint CALCO-MFPS Special Session on Termination Analysis and Synthesis ====================================================================== * Azadeh Farzan (University of Toronto) Submission Categories ===================== CALCO invites papers relating to all aspects of algebraic and coalgebraic theory and applications, and distinguishes between four categories of submissions. 1. Regular papers that report * results on theoretical foundations * novel methods and techniques for software development * experiences with the technology transfer to industry. 2. (Co)Algebraic Pearls papers that * present possibly known material in a novel and enlightening way. 3. Early ideas abstracts that lead to * presentations of work in progress * proposals for original venues of research. 4. Tool presentation papers that * report on the features and uses of algebraic/coalgebra-based tools. Topics of Interests =================== All topics relating to algebraic and coalgebraic theory and applications are of interest for CALCO, and among them * Models and logics - Automata and languages - Graph transformations and term rewriting - Modal logics - Proof systems - Relational systems * Algebraic and coalgebraic semantics - Abstract data types - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * Methodologies in software and systems engineering - Development processes - Method integration - Usage guidelines * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Concurrent, distributed, mobile, cyber-physical, and context-aware computational paradigms - Systems theory and computational models (chemical, biological, etc.) * System specification and verification - Formal testing and quality assurance - Generative programming and model-driven development - Integration of formal specification techniques - Model-driven development - Specification languages, methods, and environments * Tools supporting algebraic and coalgebraic methods for - Advances in automated verification - Model checking - Theorem proving - Testing * String diagrams and network theory - Theory of PROPs and operads - Rewriting problems and higher-dimensional approaches - Automated reasoning with string diagrams - Applications of string diagrams * Quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra Submissions Guidelines ====================== All submissions will be handled via EasyChair https://easychair.org/conferences/?conf=calco2021 The format for all submissions is specified by LIPIcs. Please use the latest version of the style http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Regular papers ============== Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Regular papers should be maximum 15 pages long, excluding references. Proofs omitted due to space limitations may be included in a clearly marked appendix. Each submission will be evaluated by at least three reviewers. Proceedings will be published in the Dagstuhl LIPIcs Leibniz International Proceedings in Informatics series. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org) will contain the extended versions of selected papers. (Co)algebraic pearls ==================== This is a new submission category in 2021. Explaining a known idea in a new way may make as strong a contribution as inventing a new idea. We encourage the submission of pearls: elegant essays that illustrate an idea in a beautiful or didactically clever way, perhaps by developing an application. Pearls are typically short and concise and so should not be longer than regular papers in the format specified by LIPIcs. Authors who feel they need a bit more space should consult with the PC co-chairs. The accepted papers will be included in the final proceedings of the conference. Each submission will be evaluated by at least two reviewers. Early ideas abstracts ===================== Submissions should not exceed 2 pages in the format specified by LIPIcs. The volume of selected abstracts will be made available on arXiv and on the CALCO pages. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere. Each submission will be evaluated by at least two reviewers. Tool papers =========== Submissions should not exceed 5 pages in the format specified by LIPIcs. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission for download and evaluation. Each submission will be evaluated by at least three reviewers, and one or more of the reviewers will be asked to download and use the tool. Best Paper and Best Presentation Awards ======================================= This edition of CALCO will feature two awards: a Best Paper Award whose recipients will be selected by the PC before the conference and a Best Presentation Award, elected by the participants. Programme Committee =================== * Zena M. Ariola (University of Oregon) * Paolo Baldan (University of Padova) * Rui Soares Barbosa (International Iberian Nanotechnology Laboratory) * Luis Caires (NOVA University Lisbon) * Francisco Dur?n (University of M?laga) * Brendan Fong (Massachusetts Institute of Technology) * Fabrizio Romano Genovese (University of Pisa) * Jules Hedges (University of Strathclyde, Glasgow) * Thomas Hildebrandt (IT University of Copenhagen) * Peter Jipsen (Chapman University) * Wolfram Kahl (McMaster University) * Marie Kerjean (CNRS -- Laboratoire d'Informatique de Paris Nord) * Jean Krivine (CNRS -- Universit? de Paris) * Michele Loreti (University of Camerino) * Sonia Marin (University College London) * Manuel A. Martins (University of Aveiro) * Annabelle McIver (Macquarie University) * Hernan Melgratti (University of Buenos Aires) * Koko Muroya (RIMS, Kyoto University) * Elaine Pimentel (UFRN) * Elvinia Riccobene (University of Milan) * Alex Simpson (University of Ljubljana) * David I. Spivak (Massachusetts Institute of Technology) * Christine Tasson (LIP6 - Sorbonne Universit?) * Tarmo Uustalu (Reykjavik University/Tallinn U. of Technology) * Maaike Zwart (University of Oxford) * Rob van Glabbeek (Data61 - CSIRO) Chairs ====== * Fabio Gadducci (University of Pisa) * Alexandra Silva (University College London) Local Organiser =============== * Ana Sokolova (University of Salzburg) From romanvi at ifi.uio.no Sun May 30 17:27:15 2021 From: romanvi at ifi.uio.no (Roman Vitenberg) Date: Sun, 30 May 2021 17:27:15 +0200 Subject: [ecoop-info] A postdoc position in blockchain technology References: Message-ID: <80397256-1B8F-4E06-BDB3-E1A08564EF7C@ifi.uio.no> One position of a postdoctoral research fellow in blockchain technology is available with the group of Networks and Distributed Systems at the University of Oslo. The position is in the context of the project called SmartMed: Secure and Accountable Sharing of Medical Records Using Smart Contracts and Blockchain. There is a potential for the research to be conducted in collaboration with Cornell University, which is one of the leading research centers in the world in the area of blockchain. The postdoctoral researcher will have an opportunity to shape the formation of currently established Blockchain Lab. https://www.smartmed.no/vacancies The fellowship is for a period of two years. *** There is a strict closing date for applications as specified in the links above. *** HOST INSTITUTION AND ENVIRONMENT The University of Oslo is Norway's largest and oldest institution of higher education. Founded in 1811, today the University of Oslo has approx. 30,000 students and 4,600 employees. Four Nobel Prize winners and two Turing award recipients indicate the quality of the research at the University in general and at the Department of Informatics in particular. The students in our group won best paper and best demo awards at several conferences. Our alumni are employed by IBM Research, Google, Microsoft, Spotify, Schibsted and highly reputable academic institutions in Europe. Norway has ben consistently ranked by the UN as having the highest standard of living in the world. It is also known for its unique scenic beauty. The work is in a smart futuristic building that has won multiple awards. SUITABLE BACKGROUND AND REQUIREMENTS Applicants must have a degree in Computer Science, or in a related study, with excellent results. They must also be able to demonstrate interest in scientific research. The evaluation considers different aspects of excellence, as well as the personal drive and organizational skills. It is important for the candidate to have strong background in distributed computing. The ideal candidate will have expertise in individual technologies underlying blockchain, such as concrete blockchain systems, distributed transactions, P2P, cryptography, data storage, and smart contracts. Applicants may apply even if they have not yet completed their degree, but expect to do so before the position starts. Knowledge of Norwegian is not a prerequisite for application. English is our working language for research. PhD students and postdocs in our group have been coming from more than 10 different countries. CONTACT INFORMATION The application process is described in https://www.jobbnorge.no/en/available-jobs/job/205112/postdoctoral-research-fellow-in-blockchain-technologies. Interested candidates can contact Roman Vitenberg (romanvi at ifi.uio.no) for further information. From Dirk.Craeynest at cs.kuleuven.be Sun May 30 18:23:51 2021 From: Dirk.Craeynest at cs.kuleuven.be (Dirk Craeynest) Date: Sun, 30 May 2021 18:23:51 +0200 (CEST) Subject: [ecoop-info] Press Release - AEiC 2021, Ada-Europe Reliable Softw. Technol. Message-ID: <20210530162351.B5D1C101227@orka.cs.kuleuven.be> ----------------------------------------------------------------------- FINAL Call for Participation *** UPDATED Program Summary *** 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021) 7-10 June 2021, Virtual Event www.ada-europe.org/conference2021 *** Check out tutorials! *** www.ada-europe.org/conference2021/tutorials.html *** Don't miss the thematic social events on Tuesday and Wednesday *** *** Full Program available on the conference web site *** *** Register now! *** #AEiC2021 #AdaEurope #AdaProgramming ----------------------------------------------------------------------- Press release: 25th Ada-Europe Int'l Conference on Reliable Software Technologies International experts meet in virtual conference hosted by Underline Santander, Spain (31 May 2021) - Ada-Europe together with the University of Cantabria, Spain organize from 7 to 10 June 2021 the 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021). The conference was initially scheduled to take place in Santander, Spain. According to the safety and sanitary measures under the COVID-19 pandemic, this year the conference will be a virtual event, hosted by Underline (https://underline.io). The event is in cooperation with the Ada Resource Association (ARA), and with ACM's Special Interest Groups on Ada (SIGAda), on Embedded Systems (SIGBED) and on Programming Languages (SIGPLAN). The Ada-Europe series of conferences has over the years become a leading international forum for providers, practitioners and researchers in reliable software technologies. These events highlight the increased relevance of Ada in general and in safety- and security-critical systems in particular, and provide a unique opportunity for interaction and collaboration between academics and industrial practitioners. This year's conference offers 5 tutorials, 3 keynotes, a technical program of 7 sessions with refereed papers, invited and industrial presentations, a work-in-progress session, an industrial exhibition and vendor presentations, and a social program. Five parallel tutorials are scheduled on Monday, targeting different audiences: - "Programming mobile robots with ROS2 and the RCLAda Ada client library", by Alejandro R. Mosteo; - "Introduction to the development of safety critical software", by Jean-Pierre Rosen; - "Parallel programming with Ada and OpenMP", by Sara Royuela, S. Tucker Taft, Luis Miguel Pinho; - "Timing verification from UML & MARTE design models: techniques & tools", by Laurent Rioux, Julio Medina and Shuai Li; - "Programming shared memory computers", by Jan Verschelde. Tutorial registration is complementary for conference participants. The industrial exhibition opens Tuesday under the Expo area in the virtual platform and also in the Lounge, which is the networking area. It runs until the end of Thursday afternoon. Exhibitors include AdaCore, PTC Developer Tools, and Ada-Europe. All conference participants are invited to the exhibition as well as to the virtual social events. Three eminent speakers have been invited to deliver a keynote at each of the core conference days: - ?ngel Conde, Data Analytics and Artificial Intelligence team leader at IKERLAN (Spain), who will present his work on "Software reliability in the Big Data era with an industry-minded focus"; - Alfons Crespo, who is with the Institute of Automation and Industrial Informatics of the Universitat Polit?cnica de Val?ncia (Spain), will give an answer to the question "Why hypervisor-based approach is the best alternative for mixed-criticality systems"; - Tucker Taft, who is Director of Language Research at AdaCore (USA), will talk on "A sampling of Ada 2022". The technical program from Tuesday to Thursday presents 13 refereed technical papers and 5 invited, 6 industrial and 4 vendor presentations in sessions on: - Scheduling and mixed-criticality systems, - Software modeling, - Autonomous systems, - Ada issues and Ravenscar, - Validation and verification tools, - Emerging applications with reliability requirements, - Safety challenges. In addition, there is a work-in-progress session including 8 presentations and associated posters. Peer-reviewed papers have been submitted to a special issue of the Journal of Systems Architecture and are heading towards final acceptance as open-access publications. Industrial and work-in-progress presentations, together with tutorial abstracts, will be offered publication in the Ada User Journal, the quarterly magazine of Ada-Europe. The social program is hosted in a space under the gather.town environment that allows informal and lively gathering of the participants. This space has different areas, such as rooms, tables, and corners where a participant can approach to talk though videoconferencing with participants in the same virtual area. This facility will be used for the breaks, poster session, exhibition and social events. Don't miss the thematic social events at the end of each core conference day. The Best Presentation Award will be offered during the Closing session. The full program is available on the conference web site. Online registration is still possible. ------- Latest updates: The "Final Program" is available at www.ada-europe.org/conference2021/final-program.pdf. Check out the tutorials in the PDF program, or in the schedule at www.ada-europe.org/conference2021/tutorials.html. Registration fees are lower than ever and the registration process is done on-line. Don't delay! For all details, select "Registration" at www.ada-europe.org/conference2021 or go directly to https://registration.ada-europe.org. The technical sessions are designed with the flipped-conference concept, where the audience can access pre-recorded presentation materials in advance. The live sessions are devoted to short presentations of the highlights of each contribution, allowing ample time for questions and answers with the presenter. The recorded materials will also be available for some time after their sessions. The program runs between 12:30 and 18:30 CEST, to allow participation from different time zones. For more info and latest updates see the conference web site at www.ada-europe.org/conference2021. AEiC 2021 is sponsored by AdaCore (www.adacore.com), Ellidiss (www.ellidiss.com), PTC Developer Tools (www.ptc.com/developer-tools), Universidad de Cantabria (web.unican.es/en), and Vector (www.vector.com/at/en). Help promote the conference by advertising it. Recommended Twitter hashtags: #AdaEurope and/or #AEiC2021. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, AEiC 2021 Publicity Chair (aka Ada-Europe 2021), Dirk.Craeynest at cs.kuleuven.be * 25th Ada-Europe Int. Conf. Reliable Software Technologies (AEiC 2021) * June 7-10, 2021 * online event * www.ada-europe.org/conference2021 ** From miguel-areias at dcc.fc.up.pt Mon May 31 19:36:53 2021 From: miguel-areias at dcc.fc.up.pt (Miguel Areias) Date: Mon, 31 May 2021 18:36:53 +0100 Subject: [ecoop-info] CFP - 14th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2021) Message-ID: ========================================================================= ????????????????????????? CALL FOR PAPERS ??????????? ASPOCP 2021: 14th Workshop on Answer Set Programming and ?????????????????????? Other Computing Paradigms ????????????????? https://sites.google.com/site/aspocp2021 ========================================================================= ?? A workshop of 37th International Conference on Logic Programming ?????????????????????? September 20-27, 2021 ???????????????????? (the event will be virtual) ========================================================================= AIMS AND SCOPE ************** Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. This has been a much studied relationship, and is currently extended towards satisfiability modulo theories (SMT). The relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new methods of computing answer sets are being developed based on relationships to these formalisms. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP) research direction). A large body of general results regarding ASP is available and several efficient ASP solvers have been implemented. However, there are still significant challenges in applying ASP to real life applications, and more interest in relating ASP to other computing paradigms is emerging. This workshop will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them. TOPICS Topics of interests include (but are not limited to): ***************************************************** * ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL). * ASP and constraint programming. * ASP and other logic programming paradigms, e.g., FO(ID). * ASP and other nonmonotonic languages, e.g., action languages. * ASP and external means of computation. * ASP and probabilistic reasoning. * ASP and knowledge compilation. * ASP and machine learning. * New methods of computing answer sets using algorithms or systems of ? other paradigms. * Language extensions to ASP. * ASP and multi-agent systems. * ASP and multi-context systems. * Modularity and ASP. * ASP and argumentation. * Multi-paradigm problem solving involving ASP. * Evaluation and comparison of ASP to other paradigms. * ASP and related paradigms in applications. * Hybridizing ASP with procedural approaches. * Enhanced grounding or beyond grounding. SUBMISSIONS *********** The workshop invites two types of submissions: * papers describing original research, * non-original papers already published on formal proceedings or ? journals. Original papers must not exceed 13 pages (excluding references) and must be formatted using the Springer LNCS style available here. Authors are requested to clearly specify whether their submission is original or not with a footnote on the first page. Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=aspocp2021 IMPORTANT DATES *************** * All dates are 'Anywhere on Earth', namely 23:59 UTC-12. * Abstract registration:????? July 1, 2021 * Paper submission:?????????? July 8, 2021 * Notification:?????????????? July 31, 2021 * Camera-ready articles due:? August 10, 2021 PROCEEDINGS *********** Authors of all accepted original contributions can opt to publish their work on formal proceedings. Accepted non-original contributions will be given visibility on the conference web site including a link to the original publication, if already published. A selection of extended and revised versions of accepted papers could appear in a special issue. Extended versions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. LOCATION ******** Virtual WORKSHOP CO-CHAIRS ****************** * Jessica Zangari, Department of Mathematics and Computer Science, ? University of Calabria, Italy ? zangari_AT_mat.unical.it * Markus Hecher, TU Wien, Austria & University of Potsdam, Germany ? hecher_AT_dbai.tuwien.ac.at PROGRAM COMMITTEE ***************** TBA =========================================================================