[Alta-Logic] Computer Science Invited Speaker Wed 14:00

[Cole Robert Comfort]

Are you planning on going to this lecture.  If not, can we switch tutorials back fro tomorrow?

-cole

________________________________
From: alta-logic-l-bounces at mailman.ucalgary.ca <alta-logic-l-bounces at mailman.ucalgary.ca> on behalf of Matthew Burke <matthew.burke1 at ucalgary.ca>
Sent: 12 March 2018 16:23:09
To: alta-logic-l at mailman.ucalgary.ca
Subject: [Alta-Logic] Computer Science Invited Speaker Wed 14:00

The following is an advertisement for a talk in the Computer Science Department.

Speaker: Jeremy Avigad

Time and Location: 14:00 Wed Mar 14th in ICT 616

Title: Formal Methods in Mathematics and the Lean Theorem Prover

Abstract: In computer science, the phrase "formal methods" is used to
describe a body of logic-based methods that are used to specify,
develop, and reason about hardware and software systems. These methods
can equally well be used to discover and verify mathematical claims,
however, and the boundary between mathematical and computational
applications is not a sharp one. In this talk, I will survey some of the
ways that formal methods have begun to make inroads in ordinary
mathematics, and some of the theoretical and practical challenges that
arise.

I will also discuss a new open-source theorem prover, Lean, which is
designed to support mathematical reasoning as well as hardware and
software verification. I will describe Lean's logical foundations and
some of the design decisions that were adopted to meet the challenges of
formal reasoning in mathematics.


http://peripatetic-seminar.cpsc.ucalgary.ca/wp/

_______________________________________________
This message was sent to all subscribers of alta-logic-l
To unsubscribe, see instructions at:
http://www.ucalgary.ca/it/email/mailman

E-mail: alta-logic-l at mailman.ucalgary.ca
Homepage: http://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180313/7908bf46/attachment.html