From announce at ucy.ac.cy Sat Jan 4 11:02:57 2025 From: announce at ucy.ac.cy (Announce) Date: Sat, 4 Jan 2025 10:02:57 +0000 Subject: [fg-arc] 20th International Conference on Persuasive Technology (PERSUASIVE 2025): Last Call for Workshop Proposals Message-ID: *** Last Call for Workshop Proposals *** 20th International Conference on Persuasive Technology (PERSUASIVE 2025) May 5-7, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://2025.persuasivetech.org (*** Workshop proceedings to be published by Springer in LNCS ***) In a world in which technology is increasingly present in people’s lives, and changing human behavior and attitudes is often the key to solving many societal and personal problems, studying how technology might be used to influence humans (in their behavior, attitudes and information processing), is paramount. Persuasive Technology is a vibrant interdisciplinary research field, focusing on the design, development and evaluation of interactive technologies aimed at influencing people’s attitudes and/or behaviors through persuasion, but not through coercion or deception. The research community aims at enriching people’s lives in various domains such as health and sustainability by supporting people in setting and achieving their own goals, thus helping them change their behavior. The 2025 conference will be hosted in Limassol, Cyprus at the 5* St. Raphael Resort and Marina. The previous successful conferences have been organized in Wollongong, Limassol, Eindhoven, Stanford, Oulu, Claremont, Copenhagen, Columbus, Linköping, Sydney, Padua, Chicago, Salzburg, Amsterdam, and Waterloo. The conference series seeks to bring together researchers and practitioners from industry and academia working with various topics of persuasive technology. SCOPE The scope of the conference includes (but is not limited to) the following topics: • Persuasive systems’ design • Behavior change support systems • Interaction with persuasive systems, interfaces, visualization • Interactive agents in persuasive systems • (Generative) AI for persuasive technology • Tailored and personalized persuasion • Gamification for persuasion • Evaluation and validation of persuasive applications • Fitting methods for development, evaluation and implementation of persuasive systems • Optimizing engagement with persuasive systems • Software architectures and technical infrastructures for persuasive systems • Smart environments, e.g. IoT, and persuasion • Digital Marketing, eCommerce, eTourism and SMART ecosystems • Motivational, cognitive and perceptual factors in persuasive technology • Application domains for persuasive technologies such as safety, healthy living, sustainable behaviors, learning and training, marketing and commerce, work environments, organizations • Positive technology • Humanizing and/or dehumanizing effects of persuasive technology • Values and ethics in persuasive technology • Privacy, perceived security and trust in persuasive technology • Resilience and counter-persuasion • Detecting persuasive strategies in social media posts • Encouraging adherence to safety measures in pandemic situations Questions that we hope to be addressed include, but are not limited to: • How to recognize and demonstrate the real life effects of persuasive technology on people’s attitudes and behaviours? • How to conduct studies that not just show their effectiveness but are also able to explain in more detail why a design or intervention works? • How to design an evaluation study so that it yields insights that are applicable to other designs or interventions? • How theoretical insight can help improve application and/or intervention planning and design? • How can design and intervention studies improve theory? WORKSHOP PROPOSALS Workshops are meant to gather a number of people to work interactively on an emerging topic and exchange ideas. Approved workshops will be announced on the conference website. Workshops will take place during a half- or full-day session before the conference. If you want to organize a workshop, please submit a proposal as a maximum 4-page description in Springer LNCS format (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines), including a description of the topic, motivation, organization (including the list of organizing members, how the organizers will form a program committee), duration of the workshop, expected outcome, and supporting materials (if applicable). Accepted workshop papers will be included in the adjunct conference proceedings to be published by Springer in LNCS (pending approval). Alternatively, the workshop organisers have the option of publishing the accepted papers to their workshops in CEUR (https://ceur-ws.org/HOWTOSUBMIT.html). Workshop organisers must commit to creating their Call for Papers and their website within one week of the notification. Please email your proposal by January 10, 2025, to the workshop chairs: Wenzhen Xu (wenzhen.xu AT r.hit-u.ac.jp), Rhoda Abadia (Rhoda.Abadia AT unisa.edu.au), and Kaoru Sumi (kaoru.sumi AT acm.org). The organizing committee will review the proposals and communicate the results by January 17, 2025. IMPORTANT DATES Workshop and tutorial proposals: • Submission deadline: January 10, 2025 (AoE) • Decision notification: January 17, 2025 Workshop papers submission: • Submission deadline: March 1, 2025 (AoE) • Decision notification: March 15, 2025 • Camera ready and author registration: March 28, 2025 ORGANISATION General Chairs • Evangelos Karapanos, Cyprus University of Technology, Cyprus • George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs • Raian Ali, HBKU, Qatar • Khin Than Win, University of Wollongong, Australia Demo, Poster and Artefacts • Ruben Hgouveia, Universidade de Lisboa, Portugal • Hanne Spelt, Philips, Netherlands Workshops and Tutorial Chairs • Rhodora Abadia, University of South Australia, Australia • Kaoru Sumi, Future University of Hakodate, Japan • Wenzhen Xu, Hitotsubashi University, Japan Doctoral Consortium Chairs • Sriram Iyengar, University of of Arizona, USA • Roberto Legaspi, KDDI, Japan • Shahla Meedya, Australian Catholic University, Australia Proceedings Chairs • Elena Vlahu-Gjorgievska, University of Wollongong, Australia • Kiemute Oyibo, University of York, Canada Society for Persuasion and Technology Steering Committee • Raian Ali – Chair Professor, College of Science and Engineering, Hamad Bin Khalifa University, Qatar • Luca Chittaro – General Member Professor, Human-Computer Interaction Lab, Department of Mathematics, Computer Science, and Physics, University of Udine, Italy • Roberto Legaspi – General Member
Research Scientist, Collaborative AI Lab, Human-centered AI Laboratories KDDI Research, Inc., Japan • Harri Oinas-Kukkonen – General Member
Professor, Information Systems Science and Dean of Graduate School, University of Oulu, Finland • Kiemute Oyibo – General Member
Assistant Professor, Interactive Systems Research Group, Department of Electrical Engineering and Computer Science, York University, Canada • Khin Than Win – Secretary Professor at the University of Wollongong, Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Mon Jan 6 10:51:28 2025 From: announce at ucy.ac.cy (Announce) Date: Mon, 6 Jan 2025 09:51:28 +0000 Subject: [fg-arc] The 24th IFIP Conference e-Business, e-Services, and e-Society (I3E 2025): Third Call for Papers Message-ID: <2VNW2VBF-T0OV-6XBL-A8H8-ZQHHE5ZH0YCB@ucy.ac.cy> *** Third Call for Papers *** The 24th IFIP Conference e-Business, e-Services, and e-Society (I3E 2025) September 9-11, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/i3e2025/ (*** Proceedings to be published by Springer in LNCS ***) (*** Journal Special Issue with Springer's SN Computer Science ***) Conference theme: “Pervasive digital services for people’s well-being, inclusion and sustainable development” OVERVIEW Next-gen digital services contribute to people’s well-being, inclusion, and sustainable development, re-shaping e-business, e-services, and e-society. Such services are pervasive both since they run on a large variety of heterogeneous devices and they permeate various aspects of daily life, by offering accessible and personalised experiences to all individuals. The proposed theme advocates for the design, implementation and operations of novel digital solutions that satisfy the needs of different individuals, while contributing to their well-being and to preserving the Planet. I3E 2025 will collect contributions about the creation and management of user-centric accessible platforms, applications, and services that empower individuals to live healthier and more fulfilling lives. The proposed theme aims at emphasizing how it is possible to leverage different technologies to address pressing societal challenges such as, for instance, healthcare access, education, poverty alleviation, sustainable usage of resources, and social equity, towards a more inclusive and sustainable future. TOPICS OF INTEREST Areas of particular interest include but are not limited to: e-Business • Innovative e-business models • Inter-organizational systems • Business process integration • Business process re-engineering • e-Marketplaces, e-Hubs and portals • Digital goods and products • User behaviour modeling • Mobile business • Enterprise application integration • e-Negotiations, auctioning and contracting • Supply, demand, and value chains • e-Commerce content management • Dynamic pricing models • Trust and security • Mobile Commerce • Business Intelligence • Business Ontologies and Models • E-Business Models e-Services • e-Service composition • Inter-organizational services • e-Collaboration and e-Services • Service-oriented computing • Web services • Semantic web services • Service workflows • Virtual organizations and coalitions • Virtual enterprises and virtual markets • Web 2.0 applications • Agent-oriented e-Services • P2P co-operation models • Ubiquitous, mobile, and pervasive services • Application service management • Services and service management in the cloud-edge continuum • Next-gen AI services • Enterprise Ontologies • Accessibility • Usability e-Society • e-Government (e.g. G2G, G2B, or G2C) • Digital cities and regions • e-Democracy and e-Governance • e-Inclusion to information society • e-Health and e-Education • Public e-Services for citizens and enterprises • One-stop government service integration • Mobile public services • Multimedia and multilingualism • Digital culture and digital divide • Privacy and security • Legal societal and cultural issues • Public-private partnerships • International dimension of e-Gov • E-society and AI • Digital Transformation • Social Computing • Green Computing • Sustainable Technologies • Humanitarian & Emergency Management • Digital Inclusion • Digital Literacy SUBMISSION Authors should submit original, unpublished research papers. All papers must not simultaneously be submitted to another journal or conference. All accepted papers will be published in the conference proceedings. Therefore, submissions should not be under consideration for any other conference or journal outlet. Authors should consult Springer’s authors’ guidelines and use their proceedings templates to prepare their papers (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Authors can submit their proceedings articles using the EasyChair platform. Please use the following link: https://easychair.org/conferences/?conf=i3e2025 . Length of papers The most common types of papers accepted for publication are full papers (12 pages) and short papers (7 pages). We only wish to publish papers of significant scientific content. Journal Special Issue Authors of selected papers will be invited to submit an extended and revised version of their paper (with at least 30% additional material) for fast-track review and publication in Springer's SN Computer Science (https://link.springer.com/journal/42979). IMPORTANT DATES • Paper Submission: May 19, 2025 (AoE) • Author Notification: June 23, 2025 • Camera-ready: June 30, 2025 • Author Registration: June 30, 2025 ORGANISATION Conference Chair • George A. Papadopoulos, University of Cyprus Conference Co-Chairs • Yogesh K. Dwivedi, Emerging Markets Research Centre (EMaRC) • Georgia Kapitsaki, University of Cyprus • Matti Mäntymäki, University of Turku • Ilias Pappas, Norwegian University of Science and Technology • Marinos Themistocleous, University of Nicosia Program Co-Chairs • Achilleas Achilleos, Frederick University of Cyprus • Stefano Forti, University of Pisa • Angelika Kokkinaki, University of Nicosia -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Sat Jan 11 10:50:53 2025 From: announce at ucy.ac.cy (Announce) Date: Sat, 11 Jan 2025 09:50:53 +0000 Subject: [fg-arc] 20th International Conference on Persuasive Technology (PERSUASIVE 2025) : Last Mile for Paper Submission Message-ID: <6V1RTBV8-6YRK-KTZ8-6A0A-O47FS4S11TG@ucy.ac.cy> *** Last Mile for Paper Submission *** 20th International Conference on Persuasive Technology (PERSUASIVE 2025) May 5-7, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://2025.persuasivetech.org (*** Proceedings to be published by Springer in LNCS ***) In a world in which technology is increasingly present in people’s lives, and changing human behavior and attitudes is often the key to solving many societal and personal problems, studying how technology might be used to influence humans (in their behavior, attitudes and information processing), is paramount. Persuasive Technology is a vibrant interdisciplinary research field, focusing on the design, development and evaluation of interactive technologies aimed at influencing people’s attitudes and/or behaviors through persuasion, but not through coercion or deception. The research community aims at enriching people’s lives in various domains such as health and sustainability by supporting people in setting and achieving their own goals, thus helping them change their behavior. The 2025 conference will be hosted in Limassol, Cyprus at the 5* St. Raphael Resort and Marina. The previous successful conferences have been organized in Wollongong, Limassol, Eindhoven, Stanford, Oulu, Claremont, Copenhagen, Columbus, Linköping, Sydney, Padua, Chicago, Salzburg, Amsterdam, and Waterloo. The conference series seeks to bring together researchers and practitioners from industry and academia working with various topics of persuasive technology. We welcome the following categories of papers and extended abstracts: • Technical papers that introduce novel persuasive technology approaches and solutions alongside evidence of their potential. • Empirical studies which seek to provide evidence and explanation of methods, principles and theories in persuasive systems. • Conceptual-theoretical papers which primarily seek to contribute to the general understanding of the field’s core themes and specificities. • Other papers, e.g. literature reviews or experience reports. SCOPE The scope of the conference includes (but is not limited to) the following topics: • Persuasive systems’ design • Behavior change support systems • Interaction with persuasive systems, interfaces, visualization • Interactive agents in persuasive systems • (Generative) AI for persuasive technology • Tailored and personalized persuasion • Gamification for persuasion • Evaluation and validation of persuasive applications • Fitting methods for development, evaluation and implementation of persuasive systems • Optimizing engagement with persuasive systems • Software architectures and technical infrastructures for persuasive systems • Smart environments, e.g. IoT, and persuasion • Digital Marketing, eCommerce, eTourism and SMART ecosystems • Motivational, cognitive and perceptual factors in persuasive technology • Application domains for persuasive technologies such as safety, healthy living, sustainable behaviors, learning and training, marketing and commerce, work environments, organizations • Positive technology • Humanizing and/or dehumanizing effects of persuasive technology • Values and ethics in persuasive technology • Privacy, perceived security and trust in persuasive technology • Resilience and counter-persuasion • Detecting persuasive strategies in social media posts • Encouraging adherence to safety measures in pandemic situations Questions that we hope to be addressed include, but are not limited to: • How to recognize and demonstrate the real life effects of persuasive technology on people’s attitudes and behaviours? • How to conduct studies that not just show their effectiveness but are also able to explain in more detail why a design or intervention works? • How to design an evaluation study so that it yields insights that are applicable to other designs or interventions? • How theoretical insight can help improve application and/or intervention planning and design? • How can design and intervention studies improve theory? SUBMISSION TYPES Regular Papers This format is suitable for original research, which is completed work at the time of submission and, regardless of the length of the paper, is a self-sufficient scientific contribution. Papers should be up to 12 pages in length (excluding references), in Springer LNCS format (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and describe work not presented, published or simultaneously submitted elsewhere. Accepted papers will be included in the Springer LNCS conference proceedings and be devoted a time slot for oral presentation. Selected papers will be invited for submission to Behaviour & Information Technology journal (Taylor & Francis). Extended Abstracts We also welcome extended abstract submissions to showcase the results of already conducted and unpublished studies where authors do not wish to publish them as regular papers in the conference proceedings but rather present them at the conference for discussions that can shape the final version (that may be submitted elsewhere later). The studies will also be devoted a time slot for oral presentation in a special session. Extended abstracts must be 4 to 6 pages in Springer LNCS format (including references). Accepted abstracts will be published in the adjunct Springer proceedings (pending approval). Selected papers in this category, based on their quality, level of timeliness and relevance, and completion, will also be invited for submission to Behaviour & Information Technology journal. Poster Presentations This format is suitable for descriptions of smaller studies, project outlines, literature reviews or work-in-progress. Authors should submit a 4-page paper in Springer LNCS format. Accepted posters will be included in the adjunct Springer proceedings (pending approval). Posters will be displayed and presented during a dedicated session of the conference. Demonstrations and Artefacts The Persuasive 2025 track on Demonstrations and Artefact is intended to foster discussion and exchange of ideas among researchers and practitioners from academia and industry by demonstrating or presenting hardware and software products or artefacts, including those in virtual settings (e.g., simulation systems, VR, and games), that range from early research prototypes to mature production-ready systems. The contribution should be the result of original, innovative work, including solving novel technical or research problems, and/or creating novel individual or industrial UI/UX. Accepted demonstrations or presentations shall be presented live during the conference and will be included as a 4-pages paper in the adjunct Springer proceedings (pending approval). Doctoral Consortium Papers The Doctoral Consortium is a special session of the conference where PhD students can receive advice in a constructive atmosphere. Students present and discuss their research with other PhD students and a panel of established researchers in the area of persuasive technology. Students interested in participating in the Doctoral Consortium should submit a 6- to 8-page proposal in Springer LNCS format describing their research question, its position with respect to the state of the art, their research plans and methodology, ideas, and results achieved so far. Accepted abstracts will be included in the adjunct Springer proceedings (pending approval) unless opted out by the student. IMPORTANT DATES Paper submission: • Submission deadline: January 14, 2025 (AoE) • Decision notification: February 15, 2025 • Camera ready submission: February 28, 2025 Posters, demos, artefacts, and doctoral consortium submission: • Submission deadline: March 1, 2025 (AoE) • Decision notification: March 15, 2025 • Camera ready: March 28, 2025 Registration: • Author registration deadline for the main track: February 28, 2025 • Author registration deadline for the rest of the categories: March 28, 2025 • Early bird registration: April 5, 2025 PUBLICATION Accepted papers of the main track (both Full and Short) will be published by Springer in a volume of the Lecture Notes in Computer Science series (https://www.springer.com/gp/ computer-science/lncs). Workshop and demo descriptions, extended abstracts , abstracts from posters, and doctoral consortium abstracts will be published as an adjunct CEUR proceedings. Extended versions of the best papers and selected papers from the conference will be invited to submit to a special issue on Persuasive Technology 2025 in Behaviour and Information Technology, a Taylor & Francis publication. ORGANISATION General Chairs • Evangelos Karapanos, Cyprus University of Technology, Cyprus • George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs • Raian Ali, HBKU, Qatar • Khin Than Win, University of Wollongong, Australia Demo, Poster and Artefacts • Ruben Hgouveia, Universidade de Lisboa, Portugal • Hanne Spelt, Philips, Netherlands Workshops and Tutorial Chairs • Rhodora Abadia, University of South Australia, Australia • Kaoru Sumi, Future University of Hakodate, Japan • Wenzhen Xu, Hitotsubashi University, Japan Doctoral Consortium Chairs • Sriram Iyengar, University of of Arizona, USA • Roberto Legaspi, KDDI, Japan • Shahla Meedya, Australian Catholic University, Australia Proceedings Chairs • Elena Vlahu-Gjorgievska, University of Wollongong, Australia • Kiemute Oyibo, University of York, Canada Society for Persuasion and Technology Steering Committee • Raian Ali – Chair Professor, College of Science and Engineering, Hamad Bin Khalifa University, Qatar • Luca Chittaro – General Member Professor, Human-Computer Interaction Lab, Department of Mathematics, Computer Science, and Physics, University of Udine, Italy • Roberto Legaspi – General Member
Research Scientist, Collaborative AI Lab, Human-centered AI Laboratories KDDI Research, Inc., Japan • Harri Oinas-Kukkonen – General Member
Professor, Information Systems Science and Dean of Graduate School, University of Oulu, Finland • Kiemute Oyibo – General Member
Assistant Professor, Interactive Systems Research Group, Department of Electrical Engineering and Computer Science, York University, Canada • Khin Than Win – Secretary
Professor at the University of Wollongong, Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From vdheuvel at informatik.uni-freiburg.de Wed Jan 15 13:16:55 2025 From: vdheuvel at informatik.uni-freiburg.de (Bas van den Heuvel) Date: Wed, 15 Jan 2025 13:16:55 +0100 Subject: [fg-arc] DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques Message-ID: [Apologies for multiple postings] ************************************************************************ Joint Call for Papers DisCoTec 2025 20th International Federated Conference on Distributed Computing Techniques Lille, France, 16-20 June 2025 Submission deadline: 7 February 2025 https://www.discotec.org/2025 ************************************************************************ DisCoTec 2025 is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). It gathers conferences and satellite events that cover a broad spectrum of distributed computing subjects — from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches. The three main conferences are: * COORDINATION 2025 - International Conference on Coordination Models and Languages * DAIS 2025 - International Conference on Distributed Applications and Interoperable Systems * FORTE 2025 - International Conference on Formal Techniques for Distributed Objects, Components, and Systems DisCoTec 2025 is organised by Inria Lille and the University of Lille. It will be hosted by Polytech Lille. * NEW: Accommodations for parents of young children * Subject to budget availability, we are planning to make special logistical arrangements for conference participants travelling with young children (and potentially accompanying persons). We invite interested persons to contact the General Chair (simon.bliudze at inria.fr), as soon as possible to discuss the arrangements that might be applicable. * Keynote Speakers * - Alysson Bessani (Universidade de Lisboa, Portugal) - Hélène Coullon (IMT Atlantique, France) - Omar Inverso (GSSI, Italy) - Burcu Ozkan (TU Delft, The Netherlands) * Important Dates (for all main conferences) * All deadlines expire at 23:59 anywhere on earth. - Abstract submission: 31 January 2025 - Paper submission: 7 February 2025 - Paper notification: 28 March 2025 - Camera-ready: 23 April 2025 (TBC) - DisCoTec conference: 16-20 June 2025 See each conference site for topics of interest, paper categories, and submission instructions. * Main Conferences * - COORDINATION (https://www.discotec.org/2025/coordination) 27rd International Conference on Coordination Models and Languages PC Chairs: Cinzia Di Giusto (Université Côte d’Azur, FR) and António Ravara (NOVA School of Science and Technology, PT) - DAIS (https://www.discotec.org/2025/dais) 25st International Conference on Distributed Applications and Interoperable Systems PC Chairs: Daniel Balouek (INRIA, FR) and Ibéria Medeiros (University of Lisbon, PT) - FORTE (https://www.discotec.org/2025/forte) 45st International Conference on Formal Techniques for Distributed Objects, Components and Systems PC Chairs: Carla Ferreira (NOVA University of Lisbon, PT) and Claudio A. Mezzina (University of Urbino, IT) * Artefact Evaluation Chairs * - DisCoTec-wide: Roberto Casadei (University of Bologna, Italy) - COORDINATION: Duncan Attard (University of Glasgow, UK) - DAIS: Vinicius Cogo (Ciências/ULisboa, Portugal) - FORTE: Emilio Incerto (IMT School for Advanced Studies Lucca, Italy) * Proceedings * Main conference proceedings will be published as volumes in the Springer LNCS-IFIP series. The volumes will be open access from the IFIP digital library after a 3-year embargo. * Journal Special Issues * Selected papers accepted at the main conferences will be invited for submission to special issues in high-quality journals, such as: - Logical Methods in Computer Science - Science of Computer Programming (Software Track). * Organizing Committee * - Simon Bliudze, General Chair (Inria Center at the University of Lille, France) - Larisa Safina, Satellite Events Chair (Inria Center at the University of Lille, France) - Adrien Luxey-Bitri, Young Researchers Forum Chair (University of Lille, France) - Imen Sayar, Gender equality / Women in Science co-Chair (University of Lille, France) - Manel Barkallah, Gender equality / Women in Science co-Chair (University of Namur, Belgium) - Bas van den Heuvel, Publicity co-Chair (University of Freiburg, Germany) - Matthew Alan Le Brun, Publicity co-Chair (University of Glasgow, UK) - Rémy Raes, Head of student volunters (Inria Center at the University of Lille, France) * Steering Committee * - Rocco De Nicola (IMT School for Advanced Studies Lucca, Italy) - Adrian Francalanza (University of Malta, Malta; Chair) - Ivan Lanese (University of Bologna/INRIA, Italy) - Alberto Lluch Lafuente (Technical University of Denmark, Denmark) - Mieke Massink (CNR-ISTI, Italy) - Luís Veiga (INESC-ID, Universidade de Lisboa, Portugal) - Gianluigi Zavattaro (University of Bologna, Italy) - Carla Ferreira (NOVA University of Lisbon, Portugal) - Jorge A. Pérez (University of Groningen, The Netherlands) -------------- next part -------------- An HTML attachment was scrubbed... URL: From publicity-chair at ecai2025.org Thu Jan 9 19:19:40 2025 From: publicity-chair at ecai2025.org (Federico Chesani) Date: Thu, 9 Jan 2025 19:19:40 +0100 Subject: [fg-arc] European Conference on Artificial Intelligence - ECAI 2025 Message-ID: *** Apologies for multiple copies *** Dear all, On behalf of the organizers, I am happy to announce that the next European Conference on Artificial Intelligence - ECAI 2025 will take place in Bologna, Italy, from the 25th to the 30th of October 2025. Information about the important dates, the venue, and the Call for Papers can be found on the conference web site: https://ecai2025.org Some calls are already open, and some deadlines are approaching: please have a look at the web site! Best regards The Organizing Committee -------------- next part -------------- An HTML attachment was scrubbed... URL: From fm-announcements at lists.nasa.gov Wed Jan 15 13:24:31 2025 From: fm-announcements at lists.nasa.gov (Bas van den Heuvel via fm-announcements) Date: Wed, 15 Jan 2025 13:24:31 +0100 Subject: [fg-arc] [fm-announcements] DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques Message-ID: [Apologies for multiple postings] ************************************************************************ Joint Call for Papers DisCoTec 2025 20th International Federated Conference on Distributed Computing Techniques Lille, France, 16-20 June 2025 Submission deadline: 7 February 2025 https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Cd499d559f1d94eb4045508dd355f97e6%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638725406870449469%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=z3c0GL238Zlq1R5tCH%2BX0TkAyBYLyJZPf1UOq7K4qR4%3D&reserved=0 ************************************************************************ DisCoTec 2025 is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). It gathers conferences and satellite events that cover a broad spectrum of distributed computing subjects — from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches. The three main conferences are: * COORDINATION 2025 - International Conference on Coordination Models and Languages * DAIS 2025 - International Conference on Distributed Applications and Interoperable Systems * FORTE 2025 - International Conference on Formal Techniques for Distributed Objects, Components, and Systems DisCoTec 2025 is organised by Inria Lille and the University of Lille. It will be hosted by Polytech Lille. * NEW: Accommodations for parents of young children * Subject to budget availability, we are planning to make special logistical arrangements for conference participants travelling with young children (and potentially accompanying persons). We invite interested persons to contact the General Chair (simon.bliudze at inria.fr), as soon as possible to discuss the arrangements that might be applicable. * Keynote Speakers * - Alysson Bessani (Universidade de Lisboa, Portugal) - Hélène Coullon (IMT Atlantique, France) - Omar Inverso (GSSI, Italy) - Burcu Ozkan (TU Delft, The Netherlands) * Important Dates (for all main conferences) * All deadlines expire at 23:59 anywhere on earth. - Abstract submission: 31 January 2025 - Paper submission: 7 February 2025 - Paper notification: 28 March 2025 - Camera-ready: 23 April 2025 (TBC) - DisCoTec conference: 16-20 June 2025 See each conference site for topics of interest, paper categories, and submission instructions. * Main Conferences * - COORDINATION (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2Fcoordination&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Cd499d559f1d94eb4045508dd355f97e6%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638725406873671079%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=MD0dxArm0Tdv2yPXJivka7YJAiPMEXX3aCOh7cz4gwI%3D&reserved=0) 27rd International Conference on Coordination Models and Languages PC Chairs: Cinzia Di Giusto (Université Côte d’Azur, FR) and António Ravara (NOVA School of Science and Technology, PT) - DAIS (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2Fdais&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Cd499d559f1d94eb4045508dd355f97e6%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638725406873682799%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=IlJys0VtnnNexuqQ%2FgJa8sJDFPVg05s1x%2B1yvWvQAKQ%3D&reserved=0) 25st International Conference on Distributed Applications and Interoperable Systems PC Chairs: Daniel Balouek (INRIA, FR) and Ibéria Medeiros (University of Lisbon, PT) - FORTE (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2Fforte&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Cd499d559f1d94eb4045508dd355f97e6%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638725406873694174%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=EpMN4W4HY2%2B3%2BK2ft5F%2Bbn5JmSBwy8WaroEk7Ffzxiw%3D&reserved=0) 45st International Conference on Formal Techniques for Distributed Objects, Components and Systems PC Chairs: Carla Ferreira (NOVA University of Lisbon, PT) and Claudio A. Mezzina (University of Urbino, IT) * Artefact Evaluation Chairs * - DisCoTec-wide: Roberto Casadei (University of Bologna, Italy) - COORDINATION: Duncan Attard (University of Glasgow, UK) - DAIS: Vinicius Cogo (Ciências/ULisboa, Portugal) - FORTE: Emilio Incerto (IMT School for Advanced Studies Lucca, Italy) * Proceedings * Main conference proceedings will be published as volumes in the Springer LNCS-IFIP series. The volumes will be open access from the IFIP digital library after a 3-year embargo. * Journal Special Issues * Selected papers accepted at the main conferences will be invited for submission to special issues in high-quality journals, such as: - Logical Methods in Computer Science - Science of Computer Programming (Software Track). * Organizing Committee * - Simon Bliudze, General Chair (Inria Center at the University of Lille, France) - Larisa Safina, Satellite Events Chair (Inria Center at the University of Lille, France) - Adrien Luxey-Bitri, Young Researchers Forum Chair (University of Lille, France) - Imen Sayar, Gender equality / Women in Science co-Chair (University of Lille, France) - Manel Barkallah, Gender equality / Women in Science co-Chair (University of Namur, Belgium) - Bas van den Heuvel, Publicity co-Chair (University of Freiburg, Germany) - Matthew Alan Le Brun, Publicity co-Chair (University of Glasgow, UK) - Rémy Raes, Head of student volunters (Inria Center at the University of Lille, France) * Steering Committee * - Rocco De Nicola (IMT School for Advanced Studies Lucca, Italy) - Adrian Francalanza (University of Malta, Malta; Chair) - Ivan Lanese (University of Bologna/INRIA, Italy) - Alberto Lluch Lafuente (Technical University of Denmark, Denmark) - Mieke Massink (CNR-ISTI, Italy) - Luís Veiga (INESC-ID, Universidade de Lisboa, Portugal) - Gianluigi Zavattaro (University of Bologna, Italy) - Carla Ferreira (NOVA University of Lisbon, Portugal) - Jorge A. Pérez (University of Groningen, The Netherlands) -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov