Loading Events

« All Events

  • This event has passed.

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

January 23, 2019 @ 6:30 pm - 9:00 pm UTC+0

Join Bucharest FP for the first meetup of 2019 where they will have an expert on Logic and Formal Verification. RSVP here to save your front row spot on January 23, starting 6:30 PM!

 

About the event

The talk will be covering 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.

 

Event agenda

 

  • 18:30 – 19:00 Welcome
  • 19:00 – 20:00 Denisa Diaconescu — The Curry-Howard-Lambek Correspondence
  • 20:00 21:00 Networking

 

Registration

RSVP here to confirm your attendance to Bucharest FP #38 — The Curry-Howard-Lambek Correspondence.

 

TechSociety

This event is hosted through TechSociety, an initiative that aims to grow the local tech community stronger by providing free event space, as well as logistical and communication support, to all people that organize free tech-related events.

Thinking about organizing a meetup or an event for the tech community out there? Join TechSociety, and we’ll help you out! All you have to do is submit the registration form available on our website, and we’ll get back to you to set all the details straight!

Details

Date:
January 23, 2019
Time:
6:30 pm - 9:00 pm
Event Category:
Event Tags:
, , , , ,
Website:
https://www.meetup.com/bucharestfp/events/257740386/

Venue

TechHub Bucharest
District 2, 39-41 Nicolae Filipescu
Bucharest, Romania
+ Google Map
Copyright © TechHub Europe Ltd,