Date: | June 7, 2018 |
---|---|
Location: | DC 1331 |
Time: | 1:30 |
Chair: | Xiang Fang |
Date: | June 14, 2018 | June 21, 2018 | June 28, 2018 | July 05, 2018 |
---|---|---|---|---|
Location: | DC 1331 1:30 | DC 1331 1:30 | DC 1331 1:30 | DC 1331 1:30 |
Chair: | Ryan Goldade |
Yu Gu |
Michael Honke |
Veronika Irvine |
Technical Presentation: | Xiang Fang |
Ryan Goldade |
Yu Gu |
Michael Honke |
Bill Cowan |
Title : Formalizing User Interfaces
Abstract: User interfaces are constructed in the least formal wayimaginable: feature is piled upon feature without much thought of overall coherence. Yet the undo feature, which is regarded as essential in modern interfaces, gives a user interface the formal structure of a group. This talk explores the consequences. |
---|
Also see other Math and CS postings.