July Meetup - Prolog and Functional Rust

For our July Meetup, we've got two interesting talks lined up.

Location: Jambit GmbH

Agenda:
18:45 - Meet and greet with food and drinks
19:15 - Talk #1: Programmation en Logique
19:45 - Questions and discussion
20:00 - Talk #2: Functional Rust
20:30 - Questions and discussion
20:45 - Fade out

Talk #1:
Title: Programmation en Logique
Language: English
Speaker: Lars Hupel
Abstract: Prolog is one of the most underrated programming languages around; possibly because of its strange syntax and the unusual paradigm. But it is a very nice special-purpose programming language. In this talk, I would like to introduce Prolog’s programming model, showcase some programming domains in which Prolog allows for very concise, elegant programs, and finally describe how it can also be used as a general-purpose tool.
About the speaker: Lars Hupel is a PhD student at TU München in the field of logic and verification. His research focus is on techniques for verified code generation from theorem provers. Additionally, he has worked on formal treatments of Linux firewalls. A frequent conference speaker and co-founder of the Typelevel initiative, he is active in the open source community, particularly in Scala. He also enjoys programming in Haskell, Prolog, and Rust.

Talk #2:
Title: Functional Rust
Language: English
Speaker: Simon Lackerbauer
Abstract: Rust is a relatively young (created in 2010) statically and strongly typed multi-paradigm language, known chiefly for its memory safety features, extremely helpful compiler errors and for winning StackOverflow's "most loved languages" award three years in a row. As one of the implemented paradigms naturally is functional, this talk will aim to provide some examples and tips for writing purely functional Rust code.
About the speaker: Simon Lackerbauer studied computer science and statistics at LMU Munich and currently works as an operations engineer for Mayflower GmbH. In his day to day work, he's primarily using nix, the purely functional package manager and DSL, and working with NixOS, the purely functional Linux distribution. Language design, especially in the functional world, has been his hobby for quite some time now. Other than Rust, he chiefly uses Python, R and Haskell.