Akademy/2018/Friday: Difference between revisions
(Created page with "= 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...") |
No edit summary |
||
| (10 intermediate revisions by 5 users not shown) | |||
| Line 6: | Line 6: | ||
* [https://www.gut.tuwien.ac.at/fileadmin/t/gut/fotos/Veranstaltungsservice/Gusshaus/3_OG_-_neues_Gusshaus.jpg 3rd floor] | * [https://www.gut.tuwien.ac.at/fileadmin/t/gut/fotos/Veranstaltungsservice/Gusshaus/3_OG_-_neues_Gusshaus.jpg 3rd floor] | ||
* [https://www.gut.tuwien.ac.at/fileadmin/t/gut/fotos/Veranstaltungsservice/Gusshaus/2_OG_-_neues_Gusshaus.jpg 2nd floor] | * [https://www.gut.tuwien.ac.at/fileadmin/t/gut/fotos/Veranstaltungsservice/Gusshaus/2_OG_-_neues_Gusshaus.jpg 2nd floor] | ||
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'''<br /> | '''BoF Wrap-up at 17:00'''<br /> | ||
| Line 26: | Line 26: | ||
|- | |- | ||
| width="100pt" | 9:30 | | width="100pt" | 9:30 | ||
| width="200pt" | | | width="200pt" | [[Akademy/2018/DocumentationTraining | Training Documentation Writing]] | ||
| width="400pt" | | | width="400pt" | | ||
|- | |- | ||
| 12:30 | | 12:30 | ||
| Line 41: | Line 33: | ||
| | | | ||
|- | |- | ||
| | | 14:00 | ||
| | | | ||
| | | | ||
| Line 74: | Line 66: | ||
|- | |- | ||
| 10: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 | | 11:30 | ||
| | | Informal workshop / cursory introduction on functional programming and logic using Haskell and Isabelle/HOL | ||
| | | | ||
|- | |- | ||
| Line 85: | Line 77: | ||
| | | | ||
|- | |- | ||
| | | 14:00 | ||
| | | | ||
| | | | ||
| Line 102: | Line 94: | ||
|} | |} | ||
=== Room 125 (20 people) - 17th August === | === Room 125 (2nd floor, 20 people) - 17th August === | ||
{| class="wikitable" border="1" | {| class="wikitable" border="1" | ||
|- | |- | ||
| Line 126: | Line 118: | ||
|- | |- | ||
| 12:30 | | 12:30 | ||
|Lunch | | Lunch | ||
| | | | ||
|- | |- | ||
| | | 14:00 | ||
| | | | ||
| | | | ||
| Line 173: | Line 165: | ||
| | | | ||
|- | |- | ||
| | | 14:00 | ||
| | | | ||
| | | | ||
Latest revision as of 07:05, 16 August 2018
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 |