Akademy/2018/Friday

From KDE Community Wiki
< Akademy‎ | 2018
Revision as of 07:05, 16 August 2018 by Fhaftmann (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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/ – Isabelle2018 being freshly released).
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