4th International Conference on Interactive Theorem Proving

Jul. 22 - 25, 2013

· France

Conference Offline Conference

0 Views

0 Comments

Timetable

Timezone：Asia/Beijing

Close

No timetable available.

Important Date

Conference Date

Jul 22

2013

to

Jul 25

2013
Jul 25 2013

Registration deadline

Sponsored By

Rennes University

Contact Information

Sandrine Blazy
Sa******@irisa.fr
02 *********

Login to view full contact details

Previous Conferences

2026-11-08 China Guangzhou
32nd International Symposium on Electro- and Liquid-Phase Separation Techniques
2015-08-24 China 南京市
6th International Conference on Interactive Theorem Proving (ITP 2015)