POPL 2017
Sun 15 - Sat 21 January 2017
Mon 16 Jan 2017 09:00 - 10:00 at Auditorium - Invited Talk

Lawrence Paulson is Professor of Computational Logic at the University of Cambridge Computer Laboratory, where he has held established positions since 1983. He has written over 90 refereed conference and journal papers as well as four books. He introduced the popular Isabelle theorem proving environment in 1986, and made contributions to the verification of cryptographic protocols, the formalisation of mathematics, automated theorem proving technology, and other fields. He has supervised over 20 postgraduate students and numerous postdoctoral researchers. In 2008, he introduced MetiTarski, an automatic theorem prover for real-valued functions such as logarithms and exponentials. He has the honorary title of Distinguished Affiliated Professor from the Technical University of Munich and is an ACM Fellow.

Mon 16 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Invited TalkCPP at Auditorium
Porting the HOL Light Analysis Library: Some Lessons
Lawrence Paulson University of Cambridge
File Attached