Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-23 tentang Fondasi Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 2020, yang berlangsung di Dublin, Irlandia, pada bulan April 2020, dan diadakan sebagai Bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2020. 31 makalah reguler yang disajikan dalam volume ini ditinjau dengan c…