Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for contributions to MathUI 09

Email Gateway (Aug 18 2022 at 13:21):

From: Paul Libbrecht <paul@activemath.org>
Call for Papers: MathUI'09
----------------------------------------
Mathematical User Interfaces Workshop 2009
----------------------------------------
at the MKM conference, July 6th, Grand Bend Ontario Canada

NEWS

MathUI has elected Marko Panic as guest speaker to talk about the
formula handwriting recognition as bundled in betas of Windows 7.

DATES

- May 1st for abstract then 15th for full
- or May 8th for full
- workshop on July 6th

TOPICS include

- presentations on manipulation of mathematical knowledge
- workflow studies based on mathematical applications
- user studies on the effectiveness of interfaces
- interactive teaching and testing
- novel, original or downright funky interfaces to mathematics
software

- interactive mathematics generally

Further information: http://www.activemath.org/workshops/MathUI/09/

Last updated: Nov 21 2024 at 12:39 UTC