Saturday |
| |
Welcome to the Ada DevRoom |
Ada |
10:30 |
10:35 |
| |
An Introduction to Ada for Beginning and Experienced Programmers |
Ada |
10:35 |
11:20 |
| |
Sequential Programming in Ada: Lessons Learned |
Ada |
11:30 |
11:50 |
| |
Autonomous Train Control Systems: a First Approach |
Ada |
12:00 |
12:50 |
| |
Controlling the Execution of Parallel Algorithms in Ada |
Ada |
13:00 |
13:20 |
| |
Persistence with Ada Database Objects |
Ada |
13:30 |
13:50 |
| |
Shrink your Data to (almost) Nothing with Trained Compression |
Ada |
14:00 |
14:50 |
| |
GSH: an Ada POSIX Shell to Speed Up GNU Builds on Windows |
Ada |
15:00 |
15:20 |
| |
What is Safety-Critical Software, and How Can Ada and SPARK Help? |
Ada |
15:30 |
15:50 |
| |
Secure Web Applications with AWA |
Ada |
16:00 |
16:50 |
| |
Distributed Computing with Ada and CORBA using PolyORB |
Ada |
17:00 |
17:20 |
| |
Cappulada: Smooth Ada Bindings for C++ |
Ada |
17:30 |
17:50 |
| |
The AZip Archive Manager: a full-Ada Open-Source Portable Application |
Ada |
18:00 |
18:20 |
| |
Proof of Pointer Programs with Ownership in SPARK |
Ada |
18:30 |
18:50 |
| |
Informal Discussions & Closing |
Ada |
18:50 |
19:00 |
Sunday |
| |
Gnucap -- The GNU circuit analysis package
Architecture, Algorithms and Applications |
CAD and Open Hardware |
09:00 |
09:25 |
| |
ngspice, current status and future developments |
CAD and Open Hardware |
09:30 |
09:55 |
| |
openEMS - An Introduction and Overview
Using an EM field solver to design antennas and PCBs |
CAD and Open Hardware |
10:00 |
10:25 |
| |
Project Trellis and nextpnr
FOSS FPGA flow for the Lattice ECP5 |
CAD and Open Hardware |
10:30 |
10:55 |
| |
Design Automation in Wonderland
The EPFL Logic Synthesis Libraries |
CAD and Open Hardware |
11:00 |
11:25 |
| |
Open source virtual prototyping for faster hardware and software co-design
Make your hardware / software development Agile |
CAD and Open Hardware |
11:30 |
11:40 |
| |
Lesson learned from Retro-uC and search for ideal HDL for open source silicon |
CAD and Open Hardware |
11:45 |
11:55 |
| |
Fritzing - the past, the present and the future
Paving the way for Fritzing's development |
CAD and Open Hardware |
12:00 |
12:25 |
| |
KiCad Project Status
Everything you wanted to know about the state of the KiCad project. |
CAD and Open Hardware |
12:30 |
12:55 |
| |
Drawing PCBs with Inkscape
Creating printed circuit board designs using Inkscape, SVG2Shenzhen and KiCad |
CAD and Open Hardware |
13:00 |
13:10 |
| |
The Kitspace BOM Builder
Create bills of materials and buy parts with the information you need at your fingertips |
CAD and Open Hardware |
13:15 |
13:25 |
| |
horizon EDA - what's new |
CAD and Open Hardware |
13:30 |
13:55 |
| |
From the idea to the prototype using FLOSS |
CAD and Open Hardware |
14:00 |
14:25 |
| |
The Software Developer’s Guide to Open Source Hardware |
CAD and Open Hardware |
14:30 |
14:55 |
| |
Pocket Science Lab - An Open Source Hardware for Electronics Teaching & Learning |
CAD and Open Hardware |
15:00 |
15:25 |
| |
Open Source Hardware for Smart City
OSHW LoRaWAN implementation for Parking, Air quality, City lighting and Waste management |
CAD and Open Hardware |
15:30 |
15:55 |
| |
Building open source scientific equipment
How researchers are owning their own instruments |
CAD and Open Hardware |
16:00 |
16:25 |
| |
FST-01SZ (Flying Stone Tiny 01 revision ShenZhen)
free hardware design for Gnuk Token |
CAD and Open Hardware |
16:30 |
17:00 |