Welcome Remarks from AISoLA 2023/Track C2 Chairs

Nils Jansen, Bettina Könighofer, Jan Křetínský, Kim Larsen

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

We are happy to present the proceedings of AISoLA’s Track C2: Verification meets Learning and Statistics.

Original languageEnglish
Title of host publicationBridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings
EditorsBernhard Steffen
PublisherSpringer Science and Business Media Deutschland GmbH
Pages25-32
Number of pages8
ISBN (Print)9783031460012
DOIs
StatePublished - 2024
Externally publishedYes
Event1st International Conference on Bridging the Gap between AI and Reality, AISoLA 2023 - Crete, Greece
Duration: 23 Oct 202328 Oct 2023

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume14380 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference1st International Conference on Bridging the Gap between AI and Reality, AISoLA 2023
Country/TerritoryGreece
CityCrete
Period23/10/2328/10/23

Fingerprint

Dive into the research topics of 'Welcome Remarks from AISoLA 2023/Track C2 Chairs'. Together they form a unique fingerprint.

Cite this