Logic, Types, and Programs Meetup
Di 17.05.2016 (19:00 - 21:30 Uhr)
The Logic, Types, and Programs Meetup aims to connect people who are interested in formal logic and its various applications, such as software verification, formal mathematics, type systems, or philosophy. We will not restrict ourself to one application, but instead try to explore and learn in an open ended fashion.
#2 – Logic for Everyone
Formal logic often looks more like an arcane art than an useful tool. One reason for this might be an apparent lack of good learning tools. This, however, is not entirely true. At our second Meetup Christof Reich will give a short talk about available learning resources, especially the „Incredible Proof Machine“.
After the talk there will be time to experiment with the tools. Please bring your own devices to do so.
We don’t expect any prior knowledge in formal logic, or computer science, but if you are already an expert it would be great if you are willing to help others.
Please sign in and get to know more about this event at meetup.com.
leanovate GmbH, Berlin
Blücherstr. 22, 10961 Berlin