Programme
- 19:00
Doors open
Grab a drink, find a seat and say hello.
Nominal Type Systems
In this talk, we will discuss what a progamming lanugage type system is, why we might want to use it, and how not all type systems are created equally. With easy to follow examples, we will go from an untyped language, to a structurally typed one. And from…
Data Visualization of Swiss Corona Cases
With increasing Corona case numbers in late summer, our company was looking for a plan of action based on risk level. We decided to take the 14-day incidence, also used for risk assessment abroad by FOPH, as an indicator. To visualize this indicator for…
- After
Food, drinks and conversation
Stay as long as you like. This is where most of the community happens.