EECS interna kalender

Proving Safety and Security of Binary Programs

2 jun

Disputationer

Datalogi

fredag 2023-06-02, 09.00

Plats: L1, Drottning Kristinas väg 30, Stockholm

Videolänk: https://kth-se.zoom.us/j/68807417997

Respondent: Andreas Lindner , Teoretisk datalogi, TCS

2023-06-02T09:00:00.000+02:00 2023-06-02T09:00:00.000+02:00 Proving Safety and Security of Binary Programs (Disputationer) L1, Drottning Kristinas väg 30, Stockholm (KTH, Stockholm, Sweden)Proving Safety and Security of Binary Programs (Disputationer)

Towards Privacy Preserving Intelligent Systems

2 jun

Disputationer

Datalogi

fredag 2023-06-02, 09.00

Plats: E2, Lindstedtsvägen 3, Stockholm

Videolänk: https://kth-se.zoom.us/j/66441177033

Respondent: Md Sakib Nizam Khan , Teoretisk datalogi, TCS

2023-06-02T09:00:00.000+02:00 2023-06-02T09:00:00.000+02:00 Towards Privacy Preserving Intelligent Systems (Disputationer) E2, Lindstedtsvägen 3, Stockholm (KTH, Stockholm, Sweden)Towards Privacy Preserving Intelligent Systems (Disputationer)

Probabilistic motion models for animation

2 jun

Docentföreläsningar

fredag 2023-06-02, 14.00

Medverkande: Gustav Eje Henter

Plats: Fantum, Lindstedtsvägen 24

2023-06-02T14:00:00.000+02:00 2023-06-02T14:00:00.000+02:00 Probabilistic motion models for animation (Docentföreläsningar) Fantum, Lindstedtsvägen 24 (KTH, Stockholm, Sweden)Probabilistic motion models for animation (Docentföreläsningar)

Sequential Data Learning, Scalable Models and Adversarial Regularization

5 jun

Disputationer

måndag 2023-06-05, 14.00

Plats: E32, Osquars backe 2

Videolänk: https://kth-se.zoom.us/j/62129883050

Respondent: Jin Huang , Teknisk informationsvetenskap

2023-06-05T14:00:00.000+02:00 2023-06-05T14:00:00.000+02:00 Sequential Data Learning, Scalable Models and Adversarial Regularization (Disputationer) E32, Osquars backe 2 (KTH, Stockholm, Sweden)Sequential Data Learning, Scalable Models and Adversarial Regularization (Disputationer)

Generating Optimized and Secure Binary Code

7 jun

Disputationer

Informations- och kommunikationsteknik Informations- och kommunikationsteknik

onsdag 2023-06-07, 13.00

Plats: F3, Lindstedtsvägen 26 & 28, Stockholm

Videolänk: https://kth-se.zoom.us/j/65880566532

Respondent: Rodothea Myrsini Tsoupidi , Programvaruteknik och datorsystem, SCS

2023-06-07T13:00:00.000+02:00 2023-06-07T13:00:00.000+02:00 Generating Optimized and Secure Binary Code (Disputationer) F3, Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Generating Optimized and Secure Binary Code (Disputationer)

Sound Notation

7 jun

Disputationer

Medieteknik

onsdag 2023-06-07, 14.00

Plats: Nathan Milsteinsalen, Kungl. Musikhögskolan, Valhallavägen 105

Respondent: Sköld Mattias , Medieteknik och interaktionsdesign, MID, Kungl. Musikhögskolan, Institutionen för komposition, dirigering och musikteori, Sound and Music Computing

2023-06-07T14:00:00.000+02:00 2023-06-07T14:00:00.000+02:00 Sound Notation (Disputationer) Nathan Milsteinsalen, Kungl. Musikhögskolan, Valhallavägen 105 (KTH, Stockholm, Sweden)Sound Notation (Disputationer)

Shape and Being Shaped

8 jun

Disputationer

Människa-datorinteraktion

torsdag 2023-06-08, 14.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Videolänk: https://kth-se.zoom.us/j/67645499199

Respondent: Charles Windlin , Medieteknik och interaktionsdesign, MID, Interaction Design

2023-06-08T14:00:00.000+02:00 2023-06-08T14:00:00.000+02:00 Shape and Being Shaped (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Shape and Being Shaped (Disputationer)

EECS Sommarevent

8 jun

Övrigt

torsdag 2023-06-08, 14.30

Plats: Alfvénsalen, F1, på KTH Campus

2023-06-08T14:30:00.000+02:00 2023-06-08T14:30:00.000+02:00 EECS Sommarevent (Övrigt) Alfvénsalen, F1, på KTH Campus (KTH, Stockholm, Sweden)EECS Sommarevent (Övrigt)

Distributed Control for Spatio-Temporally Constrained Systems

8 jun

Licentiatseminarier

torsdag 2023-06-08, 15.00

Plats: Harry Nyquist, Malvinas väg 10, Stockholm

Videolänk: https://kth-se.zoom.us/j/64558638914

Licentiand: Adrian Wiltz , Reglerteknik

2023-06-08T15:00:00.000+02:00 2023-06-08T15:00:00.000+02:00 Distributed Control for Spatio-Temporally Constrained Systems (Licentiatseminarier) Harry Nyquist, Malvinas väg 10, Stockholm (KTH, Stockholm, Sweden)Distributed Control for Spatio-Temporally Constrained Systems (Licentiatseminarier)

Converging Creativity

9 jun

Disputationer

Medieteknik

fredag 2023-06-09, 09.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Respondent: Claudio Panariello , Medieteknik och interaktionsdesign, MID, Sound and Music Computing

2023-06-09T09:00:00.000+02:00 2023-06-09T09:00:00.000+02:00 Converging Creativity (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Converging Creativity (Disputationer)

Towards Decentralized Graph Learning

9 jun

Disputationer

Informations- och kommunikationsteknik

fredag 2023-06-09, 09.00

Plats: Sal-C, Kistagången 16

Respondent: Lodovico Giaretta , Programvaruteknik och datorsystem, SCS

2023-06-09T09:00:00.000+02:00 2023-06-09T09:00:00.000+02:00 Towards Decentralized Graph Learning (Disputationer) Sal-C, Kistagången 16 (KTH, Stockholm, Sweden)Towards Decentralized Graph Learning (Disputationer)

Complexity-aware Decision-making with Applications to Large-scale and Human-in-the-loop Systems

9 jun

Licentiatseminarier

Elektro- och systemteknik

fredag 2023-06-09, 10.00

Plats: D37, Lindstedtsvägen 5, Stockholm

Licentiand: Elis Stefansson , Reglerteknik

2023-06-09T10:00:00.000+02:00 2023-06-09T10:00:00.000+02:00 Complexity-aware Decision-making with Applications to Large-scale and Human-in-the-loop Systems (Licentiatseminarier) D37, Lindstedtsvägen 5, Stockholm (KTH, Stockholm, Sweden)Complexity-aware Decision-making with Applications to Large-scale and Human-in-the-loop Systems (Licentiatseminarier)

Leveraging Intermediate Representations for High-Performance Portable Discrete Fourier Transform Frameworks

9 jun

Licentiatseminarier

fredag 2023-06-09, 14.00

Plats: VIC-studion, Lindstedtsvägen 5, Stockholm

Licentiand: Måns Andersson , Beräkningsvetenskap och beräkningsteknik (CST)

2023-06-09T14:00:00.000+02:00 2023-06-09T14:00:00.000+02:00 Leveraging Intermediate Representations for High-Performance Portable Discrete Fourier Transform Frameworks (Licentiatseminarier) VIC-studion, Lindstedtsvägen 5, Stockholm (KTH, Stockholm, Sweden)Leveraging Intermediate Representations for High-Performance Portable Discrete Fourier Transform Frameworks (Licentiatseminarier)

Learning Behavior Trees for Collaborative Robotics

12 jun

Disputationer

Datalogi

måndag 2023-06-12, 10.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Respondent: Matteo Iovino , Robotik, perception och lärande, RPL

2023-06-12T10:00:00.000+02:00 2023-06-12T10:00:00.000+02:00 Learning Behavior Trees for Collaborative Robotics (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Learning Behavior Trees for Collaborative Robotics (Disputationer)

Spintronic and Electronic Oscillators for Magnetic Field Sensing and Ising Machines

12 jun

Disputationer

Informations- och kommunikationsteknik

måndag 2023-06-12, 13.00

Plats: Sal C, Electrum, Kistagången 16, Kista

Videolänk: https://kth-se.zoom.us/j/64645889464

Respondent: Dagur Ingi Albertsson , Elektronik och inbyggda system

2023-06-12T13:00:00.000+02:00 2023-06-12T13:00:00.000+02:00 Spintronic and Electronic Oscillators for Magnetic Field Sensing and Ising Machines (Disputationer) Sal C, Electrum, Kistagången 16, Kista (KTH, Stockholm, Sweden)Spintronic and Electronic Oscillators for Magnetic Field Sensing and Ising Machines (Disputationer)

Structured Representations for Explainable Deep Learning

12 jun

Disputationer

Datalogi

måndag 2023-06-12, 14.00

Plats: F3, Lindstedtsvägen 26 & 28, Stockholm

Respondent: Federico Baldassarre , Robotik, perception och lärande, RPL

2023-06-12T14:00:00.000+02:00 2023-06-12T14:00:00.000+02:00 Structured Representations for Explainable Deep Learning (Disputationer) F3, Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Structured Representations for Explainable Deep Learning (Disputationer)

Summer retreat för doktorander

13 jun

Konferenser och workshops

ti 2023-06-13, 13.00 - on 2023-06-14, 14.00

Plats: Runö Möten & Events

2023-06-13T13:00:00.000+02:00 2023-06-14T14:00:00.000+02:00 Summer retreat för doktorander (Konferenser och workshops) Runö Möten & Events (KTH, Stockholm, Sweden)Summer retreat för doktorander (Konferenser och workshops)

Formal Verification of Peripheral Memory Isolation

14 jun

Disputationer

Datalogi

onsdag 2023-06-14, 15.00

Plats: D3 Lindstedtsvägen 9

Videolänk: https://kth-se.zoom.us/j/69872122832

Respondent: Jonas Haglund , Teoretisk datalogi, TCS

2023-06-14T15:00:00.000+02:00 2023-06-14T15:00:00.000+02:00 Formal Verification of Peripheral Memory Isolation (Disputationer) D3 Lindstedtsvägen 9 (KTH, Stockholm, Sweden)Formal Verification of Peripheral Memory Isolation (Disputationer)

Statistical Learning in Linearly Structured Systems: Identification, Control, and Reinforcement Learning

14 jun

Disputationer

Elektro- och systemteknik

onsdag 2023-06-14, 16.00

Plats: D2, Lindstedtsvägen 5, Stockholm

Respondent: Yassir Jedra , Reglerteknik

2023-06-14T16:00:00.000+02:00 2023-06-14T16:00:00.000+02:00 Statistical Learning in Linearly Structured Systems: Identification, Control, and Reinforcement Learning (Disputationer) D2, Lindstedtsvägen 5, Stockholm (KTH, Stockholm, Sweden)Statistical Learning in Linearly Structured Systems: Identification, Control, and Reinforcement Learning (Disputationer)

An Emulation-Based Performance Evaluation Methodology for Edge Computing and Latency Sensitive Applications

15 jun

Disputationer

Elektro- och systemteknik

torsdag 2023-06-15, 13.00

Plats: U61, Brinellvägen 26, Stockholm

Respondent: Manuel Osvaldo Olguín Muñoz , Teknisk informationsvetenskap

2023-06-15T13:00:00.000+02:00 2023-06-15T13:00:00.000+02:00 An Emulation-Based Performance Evaluation Methodology for Edge Computing and Latency Sensitive Applications (Disputationer) U61, Brinellvägen 26, Stockholm (KTH, Stockholm, Sweden)An Emulation-Based Performance Evaluation Methodology for Edge Computing and Latency Sensitive Applications (Disputationer)

Designing Monstrous Experiences Through Soma Design

15 jun

Disputationer

Människa-datorinteraktion

torsdag 2023-06-15, 14.00

Plats: D3, Lindstedtsvägen 5, Stockholm

Respondent: Pavel Karpashevich , Medieteknik och interaktionsdesign, MID

2023-06-15T14:00:00.000+02:00 2023-06-15T14:00:00.000+02:00 Designing Monstrous Experiences Through Soma Design (Disputationer) D3, Lindstedtsvägen 5, Stockholm (KTH, Stockholm, Sweden)Designing Monstrous Experiences Through Soma Design (Disputationer)