Confs in 2009
2009:
- POPL'09 (January 21-23,
2009, Georgia, USA; subm: 15 July 2008; Notification: 1 October 2008)***
- LFCS'09 (January 3-6,
2009; Submissions deadline (firm): September 14, 2008)
- ESOP'09 (22-29 March 2009,
York; subm: 2/10/08 -- abstract; 9/10/08 -- paper; 12/12/08 -- notify)***
- TLDI'09
(Jan 29, 2009; subm: 8 October 2008)
- TLCA'09 (July 01, 2009 to
July 03, 2009, Brazil; subm: abstract: 5/Jan/09; paper: 12/Jan/09)
- LICS
2009 (UCLA, USA, 12/01/09 (abstract), DL: 19/01/09; Conf: 11-14/08/2009)
- ICALP 2009 (Submissions: February
10; Notification: April 6. July, Greece)
- WoLLIC 2009 (abstract:
28/02/09; paper: 08/03/09; Japan)
- TPHOL'09 (17 - 20 August 2009 in
Munich; subm: 8 March 2009)
- Conf on Philosophy and Foundations of
Mathematics (ML's retirement) (reg date: April 5, 2009; Uppsala, May 5-8, 2009)
- TYPES'09 (May 12th
- May 15th 2009)***
- Leeds
Symposium
(July 3 - 16, Leeds)
- CADE-22 and affiliated Workshops (2-7/08/09):***
-
LFMTP'09 (Subm: 1/05/09 (abs) + 08/05/09 (paper); Workshop day: 2 August 2009)
-
MLPA'09 (Subm: 27/04/09 (abs) + 04/05/09 (paper); Workshop day: 3
August 2009)
- ICFP'09
(Edinburgh; 31st August - 2nd September 2009)***
Back to
Zhaohui
Luo's "useful pointers" page.