skip to main
|
skip to sidebar
Interactive Theorem-Proving
13 January 2010
Call for Papers for ITP 2010
There is a
call for papers up now on the FLoC website
. The deadline for abstracts is 15 January. So get to it!
0 comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
About Me
Michael
Australia
I am a computer science researcher working for NICTA.
View my complete profile
Interactive Theorem Proving Systems
ACL2
Coq
HOL Light
HOL4
Isabelle
Mizar
PVS
Twelf
Blog Archive
►
2011
(1)
►
January
(1)
ITP 2011
▼
2010
(3)
►
March
(1)
Robin Milner has died
►
February
(1)
Online Prover Repositories
▼
January
(1)
Call for Papers for ITP 2010
►
2008
(2)
►
September
(2)
The conference of the same name
Ex nihilo
0 comments:
Post a Comment