Saturday |
| |
Arrival & Informal Discussions |
Ada |
10:30 |
11:00 |
| |
Welcome |
Ada |
11:00 |
11:05 |
| |
An Introduction to Ada for Beginning and Experienced Programmers |
Ada |
11:05 |
11:50 |
| |
Making the Ada_Drivers_Library: Embedded Programming with Ada |
Ada |
12:00 |
12:50 |
| |
Shared Memory Parallelism in Ada: Load Balancing by Work Stealing |
Ada |
13:00 |
13:20 |
| |
Ada, or How to Enforce Safety Rules at Compile Time |
Ada |
13:30 |
13:50 |
| |
Contract-based Programming: a Route to Finding Bugs Earlier |
Ada |
14:00 |
14:50 |
| |
SPARK Language: Historical Perspective & FOSS Development |
Ada |
15:00 |
15:50 |
| |
Writing REST APIs with OpenAPI and Swagger Ada |
Ada |
16:00 |
16:50 |
| |
Browser-as-GUI and Web Applications with Gnoga |
Ada |
17:00 |
17:50 |
| |
Easy Ada Tooling with Libadalang |
Ada |
18:00 |
18:20 |
| |
Informal Discussions & Closing |
Ada |
18:30 |
19:00 |
Sunday |
| |
IoT DevRoom Opening
Overview of the day |
Internet of Things |
09:30 |
09:45 |
| |
Turning On the Lights with Home Assistant and MQTT |
Internet of Things |
09:50 |
10:15 |
| |
Accessing your Mbed device from anywhere using Pagekite
How to create a Mbed library for Pagekite |
Internet of Things |
10:25 |
10:50 |
| |
Home automation - Not as simple as you think |
Internet of Things |
11:05 |
11:30 |
| |
Mirai and Computer Vision
Security and function of connected webcams |
Internet of Things |
11:45 |
12:10 |
| |
The IoT botnet wars, Linux devices, and the absence of basic security hardening |
Internet of Things |
12:25 |
12:50 |
| |
A Guided Tour of Eclipse IoT: 3 Software Stacks for IoT |
Internet of Things |
13:05 |
13:30 |
| |
Tizen:RT
A lightweight RTOS platform for low-end IoT devices |
Internet of Things |
13:45 |
14:10 |
| |
FOSS Platform for Cloud Based IoT Solutions
Eclipse-IOT FOSS Platform for Cloud IoT |
Internet of Things |
14:25 |
14:50 |
| |
IoT.js - A JavaScript platform for the Internet of Things |
Internet of Things |
15:05 |
15:30 |
| |
CANCELLED The dark side of Internet of things
Privacy and security concerns related to IoT |
Internet of Things |
15:45 |
16:10 |
| |
OSS-7: an opensource DASH7 stack
When active RFID meets IoT and how to use DASH7 to build flexible IoT solutions |
Internet of Things |
16:25 |
16:50 |