AI Assisted Programming (AISoLA 2025 Track Introduction)
Paper i 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.

Författare

Wolfgang Ahrendt

Chalmers, Data- och informationsteknik, Formella metoder

Göteborgs universitet

Bernhard K. Aichernig

Johannes Kepler Universität Linz (JKU)

Klaus Havelund

California Institute of Technology (Caltech)

Lecture Notes in Computer Science

0302-9743 (ISSN) 1611-3349 (eISSN)

Vol. 16220 LNCS 11-17
9783032071316 (ISBN)

3rd International Conference on Bridging the Gap between AI and Reality, AISoLA 2025
Rhodes, Greece,

Ämneskategorier (SSIF 2025)

Artificiell intelligens

DOI

10.1007/978-3-032-07132-3_2

Mer information

Senast uppdaterat

2025-11-06