Details

We’ve had a great 2018 and we’re looking forward to continue with an active FP 2019!

The first presentation of 2019 will show us how to shift our perspective between Logic, Type Theory and Category Theory to gain insight about Computer Science and Functional Programming.

## Denisa Diaconescu — The Curry-Howard-Lambek Correspondence

## ABSTRACTWe will be looking at the common ground between Logic, Type Theory, and Category Theory and, using these different perspectives, attempt to gain some insight into each of them.

## BIOGRAPHYDenisa Diaconescu is an Associate Professor at the University of Bucharest, teaching Logic and Formal Verification. Denisa also works for Runtime Verification as a Formal Verification Engineer. Her main research interests are formal methods, applications of logic in computer science, and formal verification. You can find out more at https://cs.unibuc.ro/~ddiaconescu/

Please use the comment box below if you have any questions. See you there!