April Escarlan BSIT 2-6 October 03, 2023

OBA No. 1
Programming Languages and
Systems

30th European Symposium on

Programming, ESOP 2021, Held
as Part of the European Joint
Conferences on Theory and
Practice of Software, ETAPS
2021, Luxembourg City,
Luxembourg, March 27 – April 1,
2021, Proceedings
Editors: Nobuko Yoshida
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12648)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): ESOP: European Symposium on Programming

Link: Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021,
Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,
Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings | SpringerLink

Tools and Algorithms for the

Construction and Analysis of Systems

27th International Conference,

TACAS 2021, Held as Part of the
European Joint Conferences on
Theory and Practice of Software,
ETAPS 2021, Luxembourg City,
Luxembourg, March 27 – April 1,
2021, Proceedings, Part I

Editors: Jan Friso Groote, Kim Guldstrand Larsen

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12651)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): TACAS: International Conference on Tools and Algorithms for the
Construction and Analysis of Systems
Link: Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference,
TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I | SpringerLink
 Machine Learning for Cyber
Physical Systems

Includes the full proceedings of the

2020 ML4CPS – Machine Learning
for Cyber Physical Systems
Conference
Presents recent and new advances
in automated machine learning
methods

Book Title
Machine Learning for Cyber Physical Systems
Book Subtitle
Selected papers from the International Conference ML4CPS 2020
Editors
Jürgen Beyerer, Alexander Maier, Oliver Niggemann

Link: Machine Learning for Cyber Physical Systems: Selected papers from the International Conference
ML4CPS 2020 | SpringerLink

Perceptions of the Independence of

Judges in Europe

First insight into perceptions of

European judges, using survey data
from 2019

Takes into account how different

groups view judges: lawyers; lay
judges; businesses

Book Title
Perceptions of the Independence of Judges in Europe
Book Subtitle
Congruence of Society and Judiciary
Authors
Frans van Dijk

Link: Perceptions of the Independence of Judges in Europe: Congruence of Society and Judiciary |
SpringerLink