CSW23

Motivation and goals

We are glad to announce the 4^th edition of the Computer Science Workshop at the Department of Informatics, Bioengineering, Robotics and System Engineering (DIBRIS) at Università di Genova.

What about research in Computer Science?

Computer Science is constantly increasing in complexity with many and many new fields of research emerging. Here, at the University of Genoa, we are involved in some of these fields as Virtual and Augmented Reality, Multi-Agent systems, Data Science, Data Management, Computer Graphics, Security, Machine Learning, Programming Languages, Logic, Computer Vision, Software Engineering and many others. The main goal of the workshop is discussing the many aspects of the Computer Science research fields, to present a broad perspective of this subject and look for possible (unexpected) interconnections. We are glad to host four speakers:

• Mel Slater, University of Barcelona
• Fabio Zanasi, University College London
• Simone Melzi, University of Milano-Bicocca
• Vittorio Murino, University of Verona

Registration

The event is completely free for the participants. A coffee break will be offered in the morning and in the afternoon.

Participants data are collected for the sole purpose of the event organization. By subscribing to the event you accept Eventbrite Terms of Service.

Advertising Poster

Program

Abstracts

TITLE: Fostering Prosocial Behaviour Using Virtual Reality
SPEAKER: Mel Slater

ABSTRACT: This talk will cover a series of studies where virtual reality scenarios have been used to promote prosociality. This will include bystander responses to violent behaviour, sexual harassment, and police behaviour towards African Americans. This work relies on the illusions of presence and body ownership in VR.

TITLE: Algebraic Reasoning on Graphical Models: the Case for String Diagrams
SPEAKER: Fabio Zanasi

ABSTRACT: Since its early days, Computer Science has fruitfully investigated computational processes through the lenses of algebra and logic. It is very natural to regard the syntax of a programming language as generated by an algebraic signature of data types and operation symbols. But also expressing the semantics — the mathematical objects that we assign as meaning to programs — in terms of algebraic structures has proven to be useful. By giving program behaviour a rich formal structure, algebraic semantics crucially informs the development of tools for the design, verification, and analysis of software.

At the same time, many computational phenomena in computer science are best displayed with a graphical formalism — for example, digital circuits, quantum circuits, Bayesian networks, neural networks, signal flow graphs (control theory), and Petri nets (concurrency theory). These classes of objects resist formalisation as traditional syntax, for good reasons: a term-like representation (as syntax trees) would obfuscate the information exchange between the different components of the system — which may be crucial for its understanding, think for instance about entanglement in a quantum system or d-separation in a Bayesian network.

String diagrams emerged in the last two decades as a formal language to reason about graphical models, which takes the `best of two worlds’. On the one hand, string diagrams are a graphical formalism, and thus retain the information about resource flow which makes pictorial notation so appealing. On the other hand, string diagrams are also a syntax, which may be equipped with a semantics and reasoned about algebraically. This enables forms of analysis which were previously inaccessible to graphical models, allowing to study them with the established methodologies of programming language theory.

In this talk, I will give an introduction to string diagrams, surveying on some of their recent applications in Computer Science.

TITLE: Spectral geometry processing: how to exploit signals defined on geometric data for the matching task
SPEAKER: Simone Melzi

ABSTRACT: In this talk, I will describe the functional representation of the 3D shapes that can arise from spectral geometry processing. In particular, I will show how this representation provides an efficient computational method to estimate and analyze correspondences between shapes as pointwise spectral descriptors or through the functional maps framework. In the last decade, the functional maps were exploited in several computer graphics pipelines, becoming a milestone in the shape-matching community. I will give an overview of its original pipeline and some recently proposed solutions that improve this framework’s potential and functional representation impact in real applications.

TITLE: COMPUTER VISION AND MACHINE LEARNING FOR BEHAVIOR ANALYSIS
SPEAKER: Vittorio Murino

ABSTRACT: