Loading Events

Past Events

Events Search and Views Navigation

Event Views Navigation

May 2019

Meetup Talk at Claremont with Benoit Baudry

May 6 @ 17:30 - 19:00
Claremont – Birger Jarlsgatan 7, Birger Jarlsgatan 7
Stockholm, Sweden
+ Google Map

Benoit Baudry will give a talk about DSpot. DSport analyzes existing test cases and automatically generates variants of these test cases. The variants cover more execution paths and observe more states than the original tests. These tests are meant to be used in the context of regression testing. DSpot can be integrated in the continuous integration to spot issues related to one commit as early as possible. Registration on the Meetup platform: https://www.meetup.com/fr-FR/Claremont-Tech-Labs/events/260144322/

Find out more »

June 2019

ENTROPY 2019

June 16
KTH, Malvinas väg 6, Stockholm, Sweden, Malvinas väg 6
Stockholm, 114 28 Sweden
+ Google Map

ENTROPY 2019 Workshop - ENabling TRust through Os Proofs... and beYond Low level software such as kernels and drivers, along with the hardware this software runs on, is critical for application security. In contrast with user applications, OS kernel software runs in privileged CPU mode and is thus highly critical. Large projects such as seL4, VeriSoft, CertiKoS and Prosper have invested considerable resources in developing formally verified systems such as hypervisors and microkernels, supplying proofs that they satisfy critical properties.…

Find out more »

EuroS&P 2019 (Security and Privacy) at KTH

June 17 - June 19
KTH (Lindstedtsvägen 3), Lindstedtsvägen 3
Stockholm, 100 44 Sweden
+ Google Map

Since 1980, the IEEE Symposium on Security and Privacy has been the premier forum for presenting developments in computer security and electronic privacy, and for bringing together researchers and practitioners in the field. Following this story of success, IEEE initiated the European Symposium on Security and Privacy (EuroS&P), which is organized every year in a European city. The 4th EuroS&P edition will be held on June 17-19, 2019 in Stockholm, at the KTH main campus. More info: https://www.ieee-security.org/TC/EuroSP2019/    

Find out more »

September 2019

SafeComp2019 – 38th International Conference on Computer Safety, Reliability and Security

September 10 - September 13

About SAFECOMP SAFECOMP was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7). Since then, it has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SAFECOMP has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. Special theme of SAFECOMP 2019 Safety and security of autonomous systems. Important dates Abstract submission:…

Find out more »

Course on Modeling & Solving Combinatorial Problems with MiniZinc

September 16 @ 10:00 - September 20 @ 12:00
Free

By Guido Tack, Monash University, Australia. Sponsored by CASTOR. To sign up for this course, please RSVP with the "Confirm RSVP" button below (seats are limited). Combinatorial Optimisation is a collection of techniques for solving hard, real-world problems, such as production scheduling, university timetabling, hospital staff rostering, and many other applications. All these techniques have in common that the real-world problem needs to be modelled, which means to express it in a formal, mathematical language. MiniZinc is a modelling language for…

Find out more »

October 2019

CASTOR Software Days – DevOps (Day 1)

October 14 @ 08:30 - 17:00
KTH Lecture Hall D2, Lindstedtsvägen 5, Lindstedtsvägen 5
Stockholm, 100 44 Sweden
+ Google Map

At the CASTOR Software Days, software researchers, engineers and students meet to present and discuss cutting-edge technology, state of the art and current challenges in three areas More information and registration: https://castor-software-days-2019.github.io  

Find out more »

KTH Continuous Integration Art Hackathon

October 14 @ 17:00 - 23:45
R1 KTH, Drottning Kristinas väg 51
Stockholm, Stockholm 114 28 Sweden
+ Google Map
Free

We invite you to the first hackathon about art and continuous integration. KTH Students, professional engineers, and curious persons are welcome to join this first ever performance of software art based on continuous integration data. Please register your participation to this hackathon here below by clicking on "Confirm RSVP". Program: 17:00 to 18:00 - Cocktail Reception 18:00 to 00:00 - Hackathon (we will be providing food and drinks)   We are looking forward to working with you in order to make this…

Find out more »

Swedish Workshop on Data Science

October 15 - October 16

Event's website: http://www.kth.se/sweds19 The Swedish Workshop on Data Science (SweDS) is a national event aiming to maintain and develop data science research and its application in Sweden by fostering the exchange of ideas and promoting collaboration within and across disciplines. SweDS brings together researchers and practitioners working in a variety of academic, commercial or other sectors, and in the past has included presentations from a variety of domains, e.g., computer science, linguistics, economics, archaeology, environmental science, education, journalism, medicine, healthcare,…

Find out more »

CASTOR Software Days – Safety & Security (Day 2)

October 15 @ 08:30 - 17:00
KTH Lecture Hall D2, Lindstedtsvägen 5, Lindstedtsvägen 5
Stockholm, 100 44 Sweden
+ Google Map

At the CASTOR Software Days, software researchers, engineers and students meet to present and discuss cutting-edge technology, state of the art and current challenges in three areas More information and registration: https://castor-software-days-2019.github.io  

Find out more »

CASTOR Software Days – Large-Scale Distributed Systems (Day 3)

October 16 @ 08:30 - 17:00
KTH Lecture Hall D2, Lindstedtsvägen 5, Lindstedtsvägen 5
Stockholm, 100 44 Sweden
+ Google Map

At the CASTOR Software Days, software researchers, engineers and students meet to present and discuss cutting-edge technology, state of the art and current challenges in three areas More information and registration: https://castor-software-days-2019.github.io  

Find out more »
+ Export Events

Events Calendar

« December 2019 » loading...
M T W T F S S
25
26
27
28
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4
5

Upcoming Events

There are no upcoming events at this time.