Akademy/2018/Friday: Difference between revisions

From KDE Community Wiki
< Akademy‎ | 2018
No edit summary
 
(7 intermediate revisions by 4 users not shown)
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" |
|-
| 10:30
|
|
|-
| 11:30
|
|
|-
|-
| 12:30
| 12:30
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 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 114: Line 106:
|-
|-
| width="100pt" | 9:30
| width="100pt" | 9:30
| width="200pt" | Training
| width="200pt" |
| width="400pt" |
| width="400pt" |
|-
| 10:30
|
|
|-
| 11:30
|
|
|-
|-
| 12:30
| 12:30
|Lunch
| Lunch
|
|
|-
|-
| 14:00
| 14:00
| Training cont
|  
|
|-
| 15:00
|
|
|-
| 16: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