Type Theory 101
*Excerpt
Have you heard about type theory and always wanted to understand the principles behind it, but always thought it was too complicated since it has a lot of Lambda Calculus and algebras? This talk will approach these concepts in a friendly way.
Description
This talk will show in a less formal way basic concepts of Type Theory. The adopted methodology for explaining concepts will be analogies with games, real life scenarios and so. Covered topics:
 Why Type Theory?
 How much math do I really need to know?
 Lamba Calculus 101
 Functional programming and the relationship with type theory
 Logic
 Set Theory and Category Theory
 Where can I apply or see that?
Type Theory is sometimes a concept that is taken as boring or too complicated, and this talk would show that any developer can understand those principles and maybe apply them to improve their decisions on architecture.
Tags
type, languages, type theory, lambda calculus, logic
Speaking experience
I usually speak at meetups and some conferences around the globe. I have previously spoken ate Open Source Bridge. Some of my presentations are here https://slides.com/hannelitavantehannelita , or here http://www.slideshare.net/hannelita ; some videos are here http://www.infoq.com/br/author/HanneliTavante
Speaker

 Website: http://github.com/hannelita
 Twitter: @hannelita
 Favorites: View Hanneli's favorites
Biography
Hanneli (@hannelita) is a developer addicted to code, learn new programming languages, blow capacitors, do some C programming and commit useful (or not) code for random Open Source Projects that she finds at Github. She likes Math, Lego, dogs, hardware and Coffee.
Sessions

 Title: Type Theory 101
 Track: Theory
 Room: B202/203
 Time: 4:45 – 5:30pm

Excerpt:
Have you heard about type theory and always wanted to understand the principles behind it, but always thought it was too complicated since it has a lot of Lambda Calculus and algebras? This talk will approach these concepts in a friendly way.
 Speakers: Hanneli Tavante

 Title: Cassandra  an introduction
 Track: Practice
 Room: B304
 Time: 1:30 – 2:15pm

Excerpt:
Built mostly in Java, Cassandra is a powerful open source NoSQL database, based on the model of a partitioned row store. This talk will provide general use cases for Cassandra, explain Cassandra’s architecture and its benefits, feature tools for accessing and administering Cassandra, and demonstrate how to integrate Cassandra with existing Java applications.
 Speakers: Hanneli Tavante