Artificial sociality- modelling the social mind

Seminar | IST Taguspark - Room 1.38 | 11:30

Gert Jan Hofstede, Wageningen Universiteit – Abstract: Gert Jan will discuss ‘artificial sociality’, the subject for which he was recently appointed professor. It is about foundational conceptual models of human sociality based on social science, for use in agent-based … Continued

On the Self in Selfie

Seminar | 336 | 10:30

Christoph Kirsch, University of Salzburg – Abstract: Selfie is a self-contained 64-bit, 10-KLOC implementation of (1) a self-compiling compiler written in a tiny subset of C called C* targeting a tiny subset of 64-bit RISC-V called RISC-U, (2) a self-executing … Continued

The Future of Cyber-autonomy

Seminar | Anfiteatro FA1 (Pav. Informática) | 13:30

David Brumley , Carnegie Mellon University – Abstract: My vision is to automatically check and defend the world’s software from exploitable bugs. In order to achieve this vision, I am building technology, called Mayhem, that shifts the attack/defend game away … Continued

Efficient paths in ordinal weighted graphs

Seminar | 336 | 10:00

Luca Schafer, Technische Universität Kaiserslautern – Abstract: We investigate the single-source-single-destination “shortest” paths problem in acyclic graphs with ordinal weighted arc costs. We define the concepts of ordinal dominance and efficiency for paths and their associated ordinal levels, respectively. Further, … Continued

Crypto-hardware design for secure applications

Seminar | 336 | 11:00

Erica Tena-Sánchez F. E. Potestad-Ordóñez , University of Seville – Abstract: Any electronic devices considered ‘secure’, and in fact any electronic device handling relevant information, make use of cryptographic services to ensure confidentiality, authentication and integrity of the processed data. … Continued

1 2