It has been announced that registration for Types 2006 is now open. "The topic of this meeting is formal reasoning and computer programming based on Type Theory : languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education." The invited speakers include: Bart Jacobs, Simon Peyton Jones and Hongwei Xi.
Early registration is open until March 15, 2006. The workshop will be held from April 18 to 21, 2006, at the University of Nottingham, UK.
![[RSS 2.0 Feed]](img/feed.png)
![[Valid RSS 2.0]](img/valid_rss.gif "Validate my RSS feed")
![[Valid XHTML 1.0]](img/valid_xhtml.png)
![[Valid Atom 1.0]](img/valid_atom.gif "Validate my Atom 1.0 feed")
![[Valid CSS]](img/valid_css.gif)
![[Powered by OCaml]](img/ocaml.gif)
![[Powered by PostgreSQL]](img/postgresql.png)