From Born-Physical to Born-Virtual: Augmenting Intelligence in Digital Libraries

24th International Conference on Asian Digital Libraries, ICADL 2022, Hanoi, Vietnam, November 30 – December 2, 2022, Proceedings

Human-Computer Interaction. Technological Innovation

Thematic Area, HCI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II

Computer Aided Verification

34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

Transactions on Petri Nets and Other Models of Concurrency XVI

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

5th International Workshop, FoMLAS 2022 and 15th International Workshop, NSV 2022 Haifa, Israel, July 31 – August 1, and August 11, 2022 Proceedings