Events

Select event terms to filter by
Select event type to filter by
« Week of April 30, 2012 »
MonTueWedThuFriSatSun
30
(event)
Call for Papers - 3rd International IPWARE-SUMMIT
all day

The third IPWARE-SUMMIT (www.ipware-summit.com) will take place in Saint-Raphael, France 3 - 5 October 2012, in the beautiful environment of the French Riviera between Cannes and Saint-Tropez.

The IPWARE-SUMMIT event is an international conference on Information Processing including but not limited to intellectual property handling. The conference is accompanied by a software exhibition.

IPWARE-SUMMIT 2012 will survey the international state of the art and practice in information processing with

*.

1
(event)
CFP: 10th International Workshop on User Interfaces for Theorem Provers (UITP 2012)
all day

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
all day

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.
2
3
4
5
6
Add to iCalendar
Syndicate content