Correct-ish by Design: From Upfront Verification to Continuous Monitoring of LLM Generated Code.- Context Engineering for AI-Assisted Programming for Domain-Specific Languages.- The Impact of Generative Artificial Intelligence Tools in Project-Based Learning.- Health Care - Approaches Using Formal Methods and AI.- Towards Person-Owned and Controlled Personal Health Records: Past, Present, and Future Research at eMedLab, TalTech.- LC/NC Pipeline for Training and Operationalising Segmentation Models in a Data Scarce Domain: De-arraying Tissue MicroArrays.- Quantum Machine Learning in Precision Medicine and Drug Discovery - A Game Changer for Tailored Treatments?.- What Computing Professionals Should Know About Ethics: Perspectives of Philosophers.- Disentangling AI Alignment: A Structured Taxonomy Beyond Safety and Ethics.- Epistemic Deference to AI.- Responsibility Attribution for AI-mediated Damages with Mechanistic Interpretability.- Development and Maintenance of Trust in Human-Drone-Interaction: Preliminary empirical findings in a warehouse setting.- Feedback from AI Team Members: Implications on Self-Image and Trust.- Using Statistical Model Checker for Schedulability Analysis of Real-Time Systems under Uncertainty.- A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees.
