Events

Select event terms to filter by
Select event type to filter by
« Tuesday May 01, 2012 »
Tue
(event)
CFP: 10th International Workshop on User Interfaces for Theorem Provers (UITP 2012)

10th International Workshop on User Interfaces for Theorem Provers (UITP 2012)

11.07.2012, Bremen, Germany, Part of CICM 2012

http://www.informatik.uni-bremen.de/uitp12/

While interactive theorem provers have found many new application areas in the last years, the system interfaces have often not enjoyed the same attention as the proof engines themselves. In many cases, interfaces remain relatively basic and under-designed.

(event)
THedu'12 TP components for educational software: CfP

CALL FOR PAPERS

                            THedu'12
              TP components for educational software
                           11 July 2012
               http://www.uc.pt/en/congressos/thedu

                       Workshop at CICM 2012
            Conferences on Intelligent Computer Mathematics
                          9-14.
Add to iCalendar
Syndicate content