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

Accessibility: The room is wheelchair-accessible, though the elevator needs an extra key. If you wish to use the elevator you can contact us beforehand. Unfortunately the toilets are not accessible with a wheelchair.