Lambda Luminaries

We're meeting monthly on the second Monday of each month - provided we have volunteers to present. So send us your talk ideas. It can be anything that you are playing with that is somehow related to functional programming. Agenda: * 6:00pm ~ 6:30pm: drinks and snacks to keep us functional * 6:30pm: talk * 8pm: lights out

Abstract TBD About Prof Alex Simpson: Bio: His research interests include: semantic models of computation, especially domain-theoretic and topological models; type theories and their models, especially type theories for computational effects; logic and proof theory in general, and proof systems for program logics in particular; intuitionistic set theories, their models and applications; constructive mathematics and its computational content; foundational models of probability and randomness. Country: Slovenia Affiliation: University of Ljubljana Personal website: https://www.fmf.uni-lj.si/si/imenik/32646/ https://www.ed.ac.uk/informatics/news-events/inlecture/alexsimpson https://www.youtube.com/watch?v=AC41C1XjZYY Agenda: * 6:00pm ~ 6:30pm: drinks and snacks to keep us functional * 6:30pm: talk * 8pm: lights out

We're meeting monthly on the second Monday of each month - provided we have volunteers to present. So send us your talk ideas. It can be anything that you are playing with that is somehow related to functional programming. Agenda: * 6:00pm ~ 6:30pm: drinks and snacks to keep us functional * 6:30pm: talk * 8pm: lights out

We're meeting monthly on the second Monday of each month - provided we have volunteers to present. So send us your talk ideas. It can be anything that you are playing with that is somehow related to functional programming. Agenda: * 6:00pm ~ 6:30pm: drinks and snacks to keep us functional * 6:30pm: talk * 8pm: lights out

We're meeting monthly on the second Monday of each month - provided we have volunteers to present. So send us your talk ideas. It can be anything that you are playing with that is somehow related to functional programming. Agenda: * 6:00pm ~ 6:30pm: drinks and snacks to keep us functional * 6:30pm: talk * 8pm: lights out

We're meeting monthly on the second Monday of each month - provided we have volunteers to present. So send us your talk ideas. It can be anything that you are playing with that is somehow related to functional programming. Agenda: * 6:00pm ~ 6:30pm: drinks and snacks to keep us functional * 6:30pm: talk * 8pm: lights out

We're meeting monthly on the second Monday of each month - provided we have volunteers to present. So send us your talk ideas. It can be anything that you are playing with that is somehow related to functional programming. Agenda: * 6:00pm ~ 6:30pm: drinks and snacks to keep us functional * 6:30pm: talk * 8pm: lights out

We're meeting monthly on the second Monday of each month - provided we have volunteers to present. So send us your talk ideas. It can be anything that you are playing with that is somehow related to functional programming. Agenda: * 6:00pm ~ 6:30pm: drinks and snacks to keep us functional * 6:30pm: talk * 8pm: lights out

We're meeting monthly on the second Monday of each month - provided we have volunteers to present. So send us your talk ideas. It can be anything that you are playing with that is somehow related to functional programming. Agenda: * 6:00pm ~ 6:30pm: drinks and snacks to keep us functional * 6:30pm: talk * 8pm: lights out

We're meeting monthly on the second Monday of each month - provided we have volunteers to present. So send us your talk ideas. It can be anything that you are playing with that is somehow related to functional programming. Agenda: * 6:00pm ~ 6:30pm: drinks and snacks to keep us functional * 6:30pm: talk * 8pm: lights out