« March 2004 | Main | May 2004 »

April 29, 2004

MKMC call for papers on Mathematical User Interfaces

Are you working on mathematical user interfaces? Perhaps you should submit a proposal for this workshop:

Math UI workshop

The impact of mathematical knowledge management on user interfaces
is only begininning to show. In interactive proof construction,
some systems are able to suggest suitable theorems to apply to
subgoals by harvesting online libraries; in computer algebra,
folding/unfolding and automatic completion of terms helps
the user with the input of complex expressions.

Paradigms on how to use third-party software from within
a preferred GUI are emerging and promise to innovate
the notion of mathematical workspace.

This workshop wants to focus on novel aspects of UI brought
forward by the developments in MKM.
It would like to bring together researchers and practioneers
working with contemporary mathematical user-interfaces, including,
but not limited to:
- mathematical knowledge presentation
- interactivity with mathematical objects
- interactive simulations
- mathematical objects input and manipulations.
- access to mathematical knowledge

April 27, 2004

Tarbell Hatches Computational Creatures at Flash Forward

Jared Tarbell's presenting what looks like a really cool session at Flash Forward (New York): "Hatching Computational Creatures".

April 22, 2004

DonorsChoose, funding education needs

I just came across this url, for the DonorsChoose website. It's an online service for hooking up donors with school teachers. Teachers make proposals for materials they need for their classes, and anybody can contribute money to meet those needs. There are a lot of science proposals listed!

I haven't tried it myself, so I can't offer an opinion on how well the service works. If you've had any experience with it, please post about your it in the comments.

April 01, 2004

Trouble sending email to England

Is anyone else having trouble sending email to England right now? No, this is not an April Fools joke on my part.

I've been trying to contact a few folks in England, and I keep getting messages back from my server saying that their domain is invalid.