(no subject)

[anhinga_anhinga]

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.

Comments

The title of the conference is aesthetically atrocious.

[http://users.livejournal.com/_rowan_tree_/]

They should start by humanizing the conference title.
Yeah, computer-assistant proofs are aesthetically atrocious, too.

Re: The title of the conference is aesthetically atrocious.

[anhinga-anhinga.livejournal.com]

Or, at least, by disambiguating it :-)

When I saw it first time, I thought they were talking about the knowledge management, which is mathematical. Only later I understood that they were talking about the "management" of mathematical knowledge...

I really hate the word "management"... Why might this be? ;-)

[http://users.livejournal.com/_rowan_tree_/]

I really hate the word "management"... Why might this be? ;-)

Because it looks like a salesperson in a white shirt and a tie with an artificial smile and a strong handshake?

[anhinga-anhinga.livejournal.com]

Yeah, that's about 10% of it, perhaps 20...