AI Assisted Programming (AISoLA 2025 Track Introduction)
Paper in proceeding, 2026
This is an introduction to the track ‘AI Assisted Programming’ (AIAP), organized at the third instance of the AISoLA conference during the period November 1–5, 2025. AISoLA as a whole aims to study opportunities and risks of late advances of AI. The motivation behind the AIAP track in particular, which also takes place the third time, is the emerging use of large language models for the construction and analysis of software artifacts. An overview of the track presentations is provided.
Author
Wolfgang Ahrendt
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
University of Gothenburg
Bernhard K. Aichernig
Johannes Kepler University of Linz (JKU)
Klaus Havelund
California Institute of Technology (Caltech)
Lecture Notes in Computer Science
0302-9743 (ISSN) 1611-3349 (eISSN)
Vol. 16220 LNCS 11-179783032071316 (ISBN)
3rd International Conference on Bridging the Gap between AI and Reality, AISoLA 2025
Rhodes, Greece,
Rhodes, Greece,
Subject Categories (SSIF 2025)
Artificial Intelligence
DOI
10.1007/978-3-032-07132-3_2