5th EAI CSECS 2026 conference, Boston, USA

5th EAI Conference on Computer Science and Education in Computer Science

30 June – 2 July, 2026

Boston, USA

Hybrid Conference

Key Deadlines

Submission deadline
30 April 2026

Notification deadline
25 May 2026

Camera-ready deadline
10 June 2025

Indexed in

image.jpeg

ScopusR_Wmk_151_RGB

image.png

Call for Papers link:

https://csecs-conf.eai-conferences.org/2026/call-for-papers/

Why Attend?

EAI CSECS 2026 is a key event for computer science professionals and educators. Set in a city blending history and innovation, the conference covers topics like Software Engineering, IoT, Communication Technologies, and curriculum development. Celebrate excellence with the Best Student Paper and Best Mentor awards. Join us in Boston for a unique experience that fosters breakthroughs and connections in the computer science community.

EAI CSECS 2026 is a premier international forum focusing on the intersection of computer science research and education. The conference aims to foster a multidisciplinary approach to advancing computer science technologies, educational strategies, and pedagogy. EAI CSECS 2026 also emphasizes the development and evaluation of computing curricula, teaching methods, and online courses, with the goal of enhancing both the technical and educational aspects of the field. Through discussions on theory, application, and integration, the conference aims to identify and address key challenges in computer science education and research.

The scope of the EAI CSECS 2026 – EAI Conference on Computer Science and Education in Computer Science (EAI CSECS 2026) covers topics such as:

          Education in Computer Science

          Computer Science Theory and Implementations

Subtopics of interest include, but are not limited to:

  • Theory of computation;
  • Distributed computing;
  • Artificial intelligence;
  • Data Analytics;
  • Health Informatics;
  • Online and Digital Education;
  • e-Learning;
  • Virtual and augmented reality;
  • ICT Implementations.

 

The conference is organized by the Metropolitan College at Boston University, USA and New Bulgarian University, Bulgaria. Many other universities and private companies are also among the organizers and support the activities including SS Cyril and Methodius University of Skopje, North Macedonia, Informatics for Technologies and Production, University of Applied Sciences and Arts, Lemgo, Germany, Institute of Mathematics and Informatics Bulgarian Academy of Sciences, Sofia, Bulgaria, IRISA, University of Rennes, France, University of Žilina, Slovakia, University of Montenegro, University of Nicosia, Cyprus; University of Beira Interior, Portugal, University of Lisbon, Portugal, University Politehnica of Bucharest, Bucharest, Romania.

The conference is hybrid, and this allows many colleagues all over the world to apply and join the sessions.

CfP: 16th Model-Driven Requirements Engineering (MoDRE) Workshop at RE’26

===========================================================================
Call for Papers
16th INT. WORKSHOP ON MODEL-DRIVEN REQUIREMENTS ENGINEERING (MoDRE)
Co-located with the
    34th IEEE Int. Requirements Engineering (RE) Conference
    August 17 – 21, 2026
===========================================================================

The 16th International Model-Driven Requirements Engineering (MoDRE) workshop continues to provide a forum to discuss the challenges and opportunities of applying Model-Driven Development (MDD) to Requirements Engineering (RE). RE can leverage MDD techniques by balancing flexibility in capturing user needs with the formal rigor required for model transformation. MoDRE aims to explore areas of RE that have not yet been sufficiently formalized for integration into MDD environments, as well as to investigate how RE models can benefit from emerging topics in the model-driven community, including flexible, collaborative, and AI-enabled modeling. In accordance with this year’s RE conference theme, we would like to focus on the impact of large language models (LLMs) and generative AI on model-based requirements engineering techniques. We look forward to identifying new challenges for MoDRE, discussing ongoing work and potential solutions, analyzing the strengths and weaknesses of MDD approaches for RE, fostering stimulating discussions on the topic, and providing opportunities to apply MDD approaches for RE.

    https://www.modre2026.ece.mcgill.ca/

IMPORTANT DATES

Abstract Submission : May 18th, 2026
Paper Submission    : May 25th, 2026
Author Notification : June 22nd, 2026
Camera Ready Due    : July 2nd, 2026
Workshop Date       : August 17th or 18th, 2026

All deadlines are 23:59:59, Anywhere on Earth (AoE) Standard Time.

For more information, see the complete CFP at
   https://www.modre2026.ece.mcgill.ca/cfp.htm
or contact the organizers at modre-info at cs.mcgill.ca.

TOPICS
https://www.modre2026.ece.mcgill.ca/cfp.htm

SUBMISSION AND PROCEEDINGS PUBLICATION
https://www.modre2026.ece.mcgill.ca/submission.htm

ORGANIZING COMMITTEE
Ana Moreira, Universidade Nova de Lisboa, Portugal
Gunter Mussbacher, McGill University, Canada
Joao Araujo, Universidade Nova de Lisboa, Portugal
Pablo Sanchez, Universidad de Cantabria, Spain
Boqi Chen, McGill University, Canada

PROGRAM COMMITTEE
https://www.modre2026.ece.mcgill.ca/committees.htm

########################################################################

SASSUR 2026 – Deadline approaching

********************************************************************
13th International Workshop on Next Generation of System Assurance Approaches for Critical Systems – SASSUR 2026
September 22nd, 2026
In conjunction with the 45th International Conference on Computer Safety, Reliability and Security – SafeComp 2026
********************************************************************
IMPORTANT DATES
Paper submission: May 4th, 2026
Notification of acceptance: May 25th, 2026
Camera-ready submission: June 8th, 2026
********************************************************************
System assurance and certification are amongst the most expensive and time-consuming tasks in the engineering of critical systems, e.g., safety-critical, security-critical, privacy-critical, explainability-critical, sustainability-critical, mission-critical, and business-critical systems. Assurance can be defined as the set of planned and systematic actions necessary to provide adequate confidence and evidence that a system satisfies given requirements, e.g., for system safety or for compliance with some standards. Certification can be defined as the legal recognition that a system complies with standards and regulations designed to ensure that the system can be depended upon to deliver its intended service.
Assurance and certification of critical systems require the execution of complex and labour-intensive activities, such as the management of compliance with hundreds or thousands of criteria defined in standards, the management of a large volume of evidence artefacts throughout a system’s lifecycle to demonstrate compliance, or the provision of convincing and valid justifications that a system is dependable. Therefore, the companies developing critical systems or components, as well as the companies assessing the systems and components, need approaches that facilitate these activities and ideally increase their efficiency. The challenges arising from system assurance and certification are further growing as a result of the technological advancements of critical systems, e.g., towards open, interconnected, networked, intelligent systems. This poses new challenges in ensuring safety, as well as other dependability concerns such as security, availability, robustness, and reliability. In general, practitioners expect improvements in the available methods and tool support for system assurance and certification.
The SASSUR workshop is intended to explore new ideas on assurance and certification of critical systems. In particular, SASSUR will provide a forum for thematic presentations and in-depth discussions about specification, analysis, reuse, composition, and combination of assurance arguments, of assurance evidence, and of contextual information about critical products, in a way that makes assurance and certification more cost-effective, precise, and scalable.
SASSUR aims at bringing together experts, researchers, and practitioners from diverse communities, such as safety, security, privacy, explainability, and sustainability engineering, certification processes, model-based engineering, software and hardware design, critical systems, and application communities (transport, healthcare, industrial automation, robotics, nuclear, defence, etc.).
TOPICS
Contributions are sought in (but are not limited to) the following topics:
– Agile approaches in the context of critical systems
– Assurance and certification of autonomous or adaptive systems
– Assurance case development
– Assurance for new technologies and for their application (e.g., edge AI and digital twins)
– COTS or external sourcing management of evidence in critical systems
– Cross-domain product certification
– Emergent V&V needs for assurance and certification
– Evolution of standards and trends on regulations
– Evolutionary approaches for system assurance
– Human factors in system assurance
– Industrial challenges for cost-effective assurance and certification of critical systems
– Integration of process-centric and product-centric assurance
– Management of assurance evidence
– Management of compliance with standards and regulations
– Methods and techniques for artificial intelligence assurance
– Mixed-criticality system assurance
– Model-based system assurance and certification
– Multi-concern (safety, security, privacy, reliability, explainability…) system engineering and assurance
– Support for re-certification processes
– Technical debt for safety, security, privacy, etc.
– Tools support for assurance and certification
INFORMATION FOR AUTHORS
Authors are invited to submit short papers (6 pages; including references) or full papers (max. 12 pages; including references) in PDF format using Easychair: https://easychair.org/conferences/?conf=sassur2026
Submissions must conform to the Springer LNCS formatting guidelines (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Papers will be peer-reviewed through a regular refereeing procedure, with a minimum of three reviewers per paper. If accepted for presentation, the papers will be published in the SafeComp 2026 Workshops proceedings (LNCS series in the last years). At least one author of each accepted paper must register to the workshop and present the paper so that it is included in the proceedings.
WORKSHOP COMMITTEES
Organisation Committee
– Jose Luis de la Vara. University of Castilla-La Mancha, Spain
– Barbara Gallina. Mälardalen University, Sweden
Program Committee
– Rasmus Adler. Fraunhofer, Germany
– Clara Ayora. University of Castilla-La Mancha, Spain
– Alessandra Bagnato. Softeam, France
– Claude Baron. LAAS-CNRS, France
– Fabien Belmonte. Alstom, France
– Irene Bicchierai. ResilTech, Italy
– Tomas Bueno Momcilovic. Fortiss, Germany
– Daniela Cancila. CEA, France
– Carmen Carlan. TÜV Süd, Germany
– André Luiz de Oliveira. Universidade Federal de Juiz de Fora, Brazil
– Simon Diemert. University of Victoria, Canada
– Hans Dermot Doran. Zürich University of Applied Sciences, Switzerland
– Tim Gonschorek. Otto-von-Guericke-University Magdeburg, Germany
– Magnus Gyllenhammar. Zenseact and KTH Royal Institute of Technology, Sweden
– Richard Hawkins. University of York, UK
– Jason Jaskolka. Carleton University, Canada
– Garazi Juez. BMW, Germany
– Nuno Laranjeiro. University of Coimbra, Portugal
– Xabier Larrucea. University of the Basque Country, Spain
– Georg Macher. Graz University of Technology, Austria
– Johnny Marques. ITA, Brazil
– Ilaria Matteucci. IIT-CNR, Italy
– Dag McGeorge. DNV, Norway
– Leonardo Montecchi. Norwegian University of Science and Technology, Norway
– Anitha Murugesan. Honeywell, USA
– Thor Myklebust. SINTEF, Norway
– Vera Pantelic. McMaster University, Canada
– Katia Potiron. KDNS, France
– José Proença. CISTER and University of Porto, Portugal
– Philippa Ryan. University of York, UK
– Christoph Schmittner. Austrian Institute of Technology, Austria
– Irfan Sljivo. KBR/NASA Ames Research Center, USA
– Kenji Taguchi. UL, Japan 
– Jéssyka Vilela. Federal University of Pernambuco, Brazil
– Fredrik Warg. RISE, Sweden
– Gereon Weiss. Fraunhofer, Germany
– Marc Zeller. Siemens, Germany

International Conference on Artificial Intelligence in Society 2026 – LAST CALL FOR PAPERS – Deadline for submissions (Last CFP): 8 May 2026

Header Image

 

 

 

 

 

International Conference on Artificial Intelligence in Society 2026
(AIS 2026)
Part of the 20th Multi Conference on Computer Science and Information Systems (MCCSIS 2026)
Valencia, Spain, 25 – 27 July 2026
https://www.aisociety-conf.org/ 


Apologies for cross-postings. Please send  to interested colleagues and students


* Keynote Speaker (confirmed)
Prof. Claudia Loebbecke, University of Cologne, Germany

* Conference Scope
Although the term Artificial Intelligence (AI) was coined in the 1950´s, more recently, it has been at the centre of unprecedented attention. Developments in AI technology have created much interest from all areas of society, such as Education, Business and Health. The benefits of deploying AI are being reported transversally in all sectors. Nonetheless, AI’s potential evolves hand in hand with unyielding concerns that cause restraint and limit its widespread use. The International Conference on Artificial Intelligence in Society (AIS) aims to reunite both researchers and practitioners in addressing AI most pressing questions.
For more details please check https://www.aisociety-conf.org/conference-topics/ 
  

* Paper Submission
This is a blind peer-reviewed conference. Authors are invited to submit their papers in English through the conference submission system by May 8, 2026. Submissions must be original and should not have been published previously. 
 

* Important Dates:
– Submission Deadline (Last CFP): 8 May 2026
– Notification to Authors (Last CFP): 5 June 2026
– Final Camera-Ready Submission and Early Registration (Last CFP):Until 22 June 2026
– Late Registration (Last CFP): After 22 June 2026
 

* Paper Publication
The papers will be published in book and electronic format with ISBN, willbe made available through the Digital Library available at http://www.iadisportal.org/digital-library/showsearch
The conference proceedings will be submitted for indexation by Elsevier, EI Compendex, Scopus, Thomson Reuters Web of Science, EBSCO and other important indexing services. The best papers will be selected for publishing as extended versions in the IADIS Journal on Computer Science and Information Systems (ISSN: 1646-3692) and in the IADIS International Journal on WWW/Internet (ISSN: 1645-7641).
 

* Conference Contact:
E-mail: secretariat@aisociety-conf.org
Web site: https://www.aisociety-conf.org/

 


* Registered participants in the Artificial Intelligence in Society Conference may attend the other conferences part of MCCSIS 2026 free of charge.


 

CfP Special Issue on “Green and Sustainable Software” – Automated Software Engineering

We would like to kindly invite you to submit your work to the Special Issue on “Green and Sustainable Software” of the Automated Software Engineering journal.
Submission deadline: 15 July 2026
For any questions, do not hesitate to ask us.
Best Regards,
Rick, Karthik, and Elisa
==================
Special Issue: Green and Sustainable Software
https://link.springer.com/collections/jjcbchfbhf
Automated Software Engineering Journal (Impact factor = 3.1)
The engineering of green software-intensive systems is critical in our drive towards a sustainable, smarter planet. The goal of green software engineering is to apply green principles to the design and operation of software-intensive systems. Green and self-greening software systems have tremendous potential to decrease energy consumption. Moreover, software can and should be re-thought to address sustainability issues using innovative business models, processes, and incentives. Monitoring and measuring the greenness of software is critical towards the notion of sustainable and green software. Demonstrating improvement is paramount for users to achieve and effect change. Analysis of the sustainability of a specific software system requires software that aids developers in weighing the four dimensions of sustainability—economic, social, environmental, and technical—with their attendant trade-offs. The software engineering community must assume leadership in this important challenge.

In this Special Issue, we will explore the theme of “green software engineering for software sustainability” with a goal towards creating actionable outcomes that will affect how software engineering is practiced and taught in the future, in order to help organizations prioritize their sustainability objectives.

Topics:

  • Energy-efficient choices for architecture and design patterns, algorithms, data structures, programming languages, language runtime and infrastructure.
  • Architectural implications (architectural tactics, architectural styles, design patterns and anti-patterns) for green and sustainable software
  • Practices for sustainability-aware software engineering
  • Metrics and measures for sustainability-aware software engineering
  • Sustainability-aware architectures in context (e.g., cloud-edge continuum)
  • Teaching and training of skills and competencies in sustainability-aware software engineering
  • Sustainable computing from a software engineering and software-intensive system perspective
  • Applied, or experimented with, software engineering methodologies at all levels (from requirements elicitation to architecture design, coding, testing, and maintenance)
  • Meta-analyses, and syntheses of studies to build theories on green and sustainable software; conceptual reflections related to software sustainability
  • Progress on the various dimensions of software sustainability and their interplay
  • Software adaptation for sustainability
  • Tools to support sustainability-aware decision-making
  • Sustainability of emerging computing technologies (AI systems, edge devices, generative AI-enabled applications)
  • Green AI, lighter, less data-intensive, and less energy-consuming AI models and architectures
  • Sustainable Large Language Models (LLMs) for software code
  • Green Agentic AI
  • Reduction of software organizations’ compute-heavy workloads
  • Cloud and energy efficiency
  • Standards on the environmental sustainability of software and AI software

Authors should prepare their manuscript according to the Instructions for Authors available from the Journal’s submission guidelines https://link.springer.com/journal/10515/submission-guidelines. Submitted papers should present original, unpublished work, relevant to one of the topics of the special issue. All submitted papers will be evaluated on the basis of relevance, significance of contribution, technical quality, scholarship, and quality of presentation by at least two independent reviewers. It is the policy of the journal that no submission, or substantially overlapping submission, be published or be under review at another journal or conference at any time during the review process.

===========================
Prof. Dr. Elisa Yumi Nakagawa

University of São Paulo, Brazil
===========================

Design by 2b Consult