From announce at ucy.ac.cy Mon Sep 28 11:50:56 2026 From: announce at ucy.ac.cy (Announce) Date: Mon, 28 Sep 2026 09:50:56 +0000 Subject: [Event@CIG] The 39th International Conference on Software Engineering Education and Training (CSEE&T 2027): First Call for Papers Message-ID: <6YJJENS1-87B3-JNBK-R6E8-48YKQ22D638@ucy.ac.cy> *** First Call for Papers *** The 39th International Conference on Software Engineering Education and Training (CSEE&T 2027) July 8-9, 2027, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/csee-t2027/ In a world increasingly driven by software, the role of a software engineer has never been more important. From the smartphones in our hands to the most intricate space exploration missions, software systems are at the very heart of everything. Yet, as these systems continue to evolve in size, complexity, and importance, the education and training methods to prepare the next generation of software engineers must be equally adaptive and forward-looking. Over the past three decades, Software Engineering Education and Training (SEE&T) has continually risen to these evolving challenges. Initially, the focus was on defining the role of software engineers and how SEE&T integrates into broader engineering and computer science curricula. The current landscape, however, is shifting the focus towards enhanced knowledge transfer, emphasizing experiential learning, and aligning academic teaching with real-world industrial demands. The importance of effective communication, whether with clients or peers, the rising trend of project-based and problem-driven learning methodologies, and the symbiotic relationship between academia and industry form the very essence of modern SEE&T. This is the mission of the Conference on Software Engineering Education and Training (CSEE&T). As the world?s foremost conference on the topic, it has created a highly interactive community of academics and industry professionals. The aim of the conference is to solicit, review, and publish original high-quality research, tutorial, and survey articles in the area of Software Engineering Education at the K-12, undergraduate, graduate, and postgraduate levels, as well as Software Engineering Training in industrial or post- academic settings. In its 39th year, the conference has established itself as the genesis for modern Software Engineering Education. We welcome you to the 39th CSEE&T in Limassol, Cyprus, from July 8-9, 2027. Topics of Interest ? Requirements engineering education ? Teaching artificial intelligence ? Teaching conceptual modeling ? Teaching formal methods ? Teaching skills (communication, teamwork, management, etc.) ? Teaching ?real world? SE practices ? Software education for quality assurance, cybersecurity, etc. ? Measuring education and training results ? Motivating students and trainees ? Social and cultural issues ? Novel delivery methods ? E-Learning, online training, and education ? Global and distributed SE education ? Open source in education ? Cloud computing education ? Cooperation between industry and academia ? Training models in industry ? CI/CD and DevOps education ? Cyber-physical system or Internet of Things education ? Methodological aspects of SE education ? Metaverse in SE education ? SE education for pre-college & university ? SE education for novices ? SE education with Artificial Intelligence ? Vision for SE education in the future Submission Guidelines and Publication of Proceedings Submit original manuscripts (not published or considered elsewhere) with the following page limits (including references): 16 pages (full research papers), 8 pages (industry reports, tool reports), 4 pages (posters). Each submission should include a title, the name and affiliation of each author, an abstract, and up to 6 keywords. The proceedings will be published by Springer in the LNCS series. Papers must use the Springer LNCS template according to: https://link.springer.com/series/558/information-for-authors-and-editors . Submission Page Papers are submitted via EasyChair at the following URL: https://easychair.org/my/conference?conf=cseet2027 . Important Dates (AoE) ? Research/Industry Track Abstract (non mandatory): February 19, 2027 ? All Paper Types Submission: February 26, 2027 ? Notification of Acceptance/Rejection: April 19, 2027 ? Camera-Ready Submission: April 30, 2027 ? Author Registration: April 30, 2027 Organisation General Chair ? George A. Papadopoulos, University of Cyprus, Cyprus Program Committee Chairs ? Nour Ali Brunel University, UK ? Tiziana Margaria University of Limerick, Ireland Steering Committee Chair ? Daniel Port, University of Hawaii at Manoa, USA Registration Chair ? Easy Conferences LTD From walther.neuper at proton.me Thu Oct 1 12:24:45 2026 From: walther.neuper at proton.me (Walther Neuper) Date: Thu, 01 Oct 2026 10:24:45 +0000 Subject: [Event@CIG] post-proceedings ThEdu'26 DEADLINE EXTENSION In-Reply-To: <86e0d142-3174-4b65-a464-44f49bb40c74@proton.me> References: <86e0d142-3174-4b65-a464-44f49bb40c74@proton.me> Message-ID: <2c23c6fb-1853-468a-aa81-c1b5c325da2c@proton.me> DEADLINE EXTENSION to 12.Oct.26 : Open Call for Papers ************************************************************************** Proceedings for ThEdu'26 Theorem Proving Components for Educational Software https://theduworkshop.github.io/ThEduWebSite/#thedu26 ************************************************************************** to be published by EPTCS, Electronic Proceedings in Theoretical Computer Science [https://published.eptcs.org](https://published.eptcs.org/) ************************************************************************** ## Synopsis The ThEdu?26 workshop took place on 29 July 2026 as a satellite event to FLoC in Lisbon. It was an event featuring ten presentations that captured the audience?s interest and sparked lively discussions. As in previous years, we would therefore like to encourage the speakers at ThEdu?26 to expand their extended abstracts into full papers ? *** and we warmly invite anyone interested in the topic who was unable to attend ThEdu?26 to publish their full paper in the post-proceedings. All papers will be peer-reviewed in accordance with EPTCS standards *** ## ThEdu'26 Scope: Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering, and mathematics. This volume of EPTCS intends to bring together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems. AI is raising new questions in the field of education, particularly in maths teaching and in software supporting it. ## Topics of interest include: * interactive and automated theorem provers designed or adapted for education * methods of automated deduction applied to checking students' input * artificial intelligence answering questions at certain points in problem solving * combinations of deduction, computation and artificial intelligence enabling systems to propose next step guidance * combinations of symbolic artificial intelligence and machine learning for the teaching of proof and proving * design of libraries of statements and/or formal proofs for use in educational systems; * graphical user interfaces for theorem proving in the classroom * specific systems integrated in educational components such as dynamic geometry software, automatic provers providing readable output or explicit counterexamples, etc. * the role of logic and formal systems in the didactics of proof and proving in mathematics education -- as opposed to artificial intelligence * experience reports about the use of automatic or interactive theorem provers for teaching * evaluation of the impact of intelligent tutoring systems for proof and proving * tools for educational activities in logic and formal methods. ## Important Dates * Submission (full papers): 12 October 2026 * Notification of acceptance: 12 November 2026 * Revised papers due: 29 November 2026 ## Submission We welcome submission of full papers (12-20 pages) presenting original unpublished work or significant extensions of contributions to ThEdu which are not being submitted for publication elsewhere. All contributions will be reviewed (at least three blind reviews) to meet the high standards of EPTCS. The author should comply with the EPTCS's "instructions for authors" ( https://info.eptcs.org/ ), and accept the "Non-exclusive license to distribute" ( https://copyright.eptcs.org/ ) and use the EPTCS's "LaTeX Style" ( https://style.eptcs.org/ ) Papers should be submitted via EasyChair: https://easychair.org/conferences/?conf=thedu26postproceedin Program Committee Jo?o Marcos, Universidade Federal de Santa Catarina, Brazil Julien Narboux, Universit? Paris Cit?, France Walther Neuper, Johannes Kepler University Linz, Austria Jim Portegies, Eindhoven University of Technology, Netherlands Pedro Quaresma, University of Coimbra, Portugal Vanda Santos, CIDTFF/CISUC, Portugal Anders Schlichtkrull, Aalborg University, Denmark Wolfgang Schreiner, Johannes Kepler University Linz, Austria J?rgen Villadsen, Technical University of Denmark, Denmark