Past Meetup

Bucharest FP #38 — The Curry-Howard-Lambek Correspondence

This Meetup is past

39 people went

TechHub Bucharest

39-41 Nicolae Filipescu · Bucharest

How to find us

Use the side entrance on Vasile Conta where it says TechHub.

Location image of event venue


Happy new year!

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

We 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.

Denisa 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

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