![]() |
|
|
![]() Second International Workshop on HUMAN INTERACTIVE PROOFS PROGRAM
Format: One-and-a-half days, Thursday & Friday. Podium presentations, keynote talks, panel discussions, & breakout working groups. Single track (except during the working groups). 100% participation is required: i.e., every attendee must give a presentation, participate in a panel discussion or working group, or make some other contribution. The registration fee will cover an on-site refereed hardcopy proceedings to be published by Springer in their Lecture Notes in Computer Science series, breakfast, lunch, and a Thursday-evening banquet. Thanks to generous corporate support, we can offer financial assistance to students. The program for the HIP workshop is available in two formats: |
![]() |
![]() |
|||||||||||||||||||||||||||||||||||||||||||||||
![]() |
![]() |