Akademy/2018/Friday

From KDE Community Wiki
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

BoF sessions on Friday, August 17th 2018

All rooms are on the third floor (except 125, second floor) of Neues EI and have either a blackboard or a whiteboard.

Floor plans:

If you need any other equipment, please send an email to [email protected]. Please put your name and email address in the Host/Notes section. There is no length limitation; text will wrap.

BoF Wrap-up at 17:00
Please join the BoF wrap-up session this evening. Another opportunity for communication. Share outcomes and plans, cross-pollinate, attract attention to your project. Please select someone from your BoF to give a summary—topic, what was discussed and decided, what's next, resources desired.

The Akademy team might reasign BoFs based on operational needs

Room 121 (37 people, priority for workshops) - 17th August

121
Time Subject Host/Notes
9:30 Training Documentation Writing
12:30 Lunch
14:00
15:00
16:00
17:00 Teardown and Closing BBQ

Room 122 (25 people) - 17th August

122
Time Subject Host/Notes
9:30
10:30 Informal workshop / cursory introduction on functional programming and logic using Haskell and Isabelle/HOL Prerequisites: some interest and / or pre-existing knowledge in functional programming and / or formal methods; the covered topics are driven by that ;-). The required tools should be installed on your machine: a Haskell environment (GHC https://www.haskell.org/ghc/ is part of many Linux distribution) and Isabelle/HOL (https://isabelle.in.tum.de/website-Isabelle2018-RC4/ – that release candidate being almost the upcoming 2018 release already).
11:30 Informal workshop / cursory introduction on functional programming and logic using Haskell and Isabelle/HOL
12:30 Lunch
14:00
15:00
16:00
17:00 Teardown and Closing BBQ

Room 125 (2nd floor, 20 people) - 17th August

125
Time Subject Host/Notes
9:30
10:30
11:30
12:30 Lunch
14:00
15:00
16:00
17:00 Teardown and Closing BBQ

Room 127 (37 people) - 17th August

127
Time Subject Host/Notes
9:30
10:30
11:30
12:30 Lunch
14:00
15:00
16:00
17:00 Teardown and Closing BBQ