anhinga_anhinga (![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
anhinga_anhinga) wrote2005-06-25 11:48 am
anhinga_anhinga) wrote2005-06-25 11:48 am
Entry tags:
(no subject)
Fourth International Conference on Mathematical Knowledge Management
July 14-17, Bremen, Germany. The program looks interesting enough to regret that I can't go. A lot of it is about trying to "humanize formal computer-assisted proofs". (The title of the conference is aesthetically atrocious.)
Via the Lambda Prolog mailing list.
July 14-17, Bremen, Germany. The program looks interesting enough to regret that I can't go. A lot of it is about trying to "humanize formal computer-assisted proofs". (The title of the conference is aesthetically atrocious.)
Via the Lambda Prolog mailing list.