Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

7 - 11 January 2019, "Lean together", workshop on the Lean proof assistant, Amsterdam, The Netherlands

Date: 7 - 11 January 2019
Location: Amsterdam, The Netherlands

From 7-11 January next year there will be a workshop on the Lean proof assistant at the Free University in Amsterdam.

The workshop will include introductory tutorials, scientific talks, and collaboration time for developers and users. Tutorials will be aimed at a mathematically experienced audience with little background in formal methods. Presentation topics may include (but are not limited to) the development of formal theories and libraries, tools and automation for formalization, the use of proof assistants in mathematics and computer science education, translating between formal and informal mathematics, and theoretical aspects of proof assistants. We welcome relevant work in proof assistants other than Lean. Participants who are interested in giving a talk or running a tutorial or discussion are asked to contact the organizers

Please note that this newsitem has been archived, and may contain outdated information or links.