Confs in 2007

• TLCA'07 (26-28/06/07, subm: 22/12/06 (abstract) / 02/01/07 (paper))***
• Computation & Logic in the Real World (CiE'07) (18-23/06/07, Subm: 12/01/07)
• WoLLIC'2007 (abstract DL: 23/02/07; paper DL: 02/03/07)
• 2007 Workshop on Automated Reasoning (19-20/04/07, Imperial College)
• TPHOL'07 (11-13/09/07, Subm DL: 23/03/07)
• TYPES'07 (2-5/05/07, reg DL: 31/3/07; proc subm: 24/9/07)***
• Godel price (DL: June 30, 2007)
• ECOOP'07 (July 30 - August 3, 2007; Berlin)
• TYPES summer school 2007 (19-31/08/07) and its old web.
• BLC'07 (6-8/9/07)***
• Math Wiki Workshop***
• APLAS'07 (29/11/07-1/12/07, Singapore)***
• Effects and Type Theory (13-14/12/07, Tallinn, Estonia)
• Barendregt 60 (17/12/07)