Confs in 2008

• POPL'08 (Subm: 16/07/07; Conf in San Francisco: 10-12/01/08) (FOOL'08 (Subm: 08/10/07; Workshop following POPL'08: 13/01/08)
• FLOP'08 (Subm: October 10, 2007; Japan April 14-16, 2008)
• LICS'08 (Subm: 7 January 2008; Conf: 24-27 June 2008, Pittsburgh)
• TCS'08 (Subm: \ 8/2/08; 7-10/09/08, Milano, Italy)
• TYPES'08 (26-29 March 2008 Torino; Extended DL to post-p\ roc: 15/10/2008; notification: 15/12/08))***
  • ITRS'08 (25/3/08)***
  • DTP'08 (February 18-20, University of Nottingham)
  • Russell'08 (15-16/03/08, Swansea)***
• IJCAR'08 (Subm: 22/02/08; Conf 10th -\ 15th August, 2008)
• WoLLIC'08 (Subm: February 24, 2008; wkshop: July 1st to 4th, 2008)
• Trends in FP 2008 (Subm: 3/3/08; Conf: MAY 26-28, 2008; NIJMEGEN)
• LC'08 (Bern, Switzerland, July 3-8, early reg/hotel: 30/04/08)***
• Calculemus'08 (Subm: March 07, 2008; Conf: July 30 -- August 1, 2008; Birmingham)
  • Programming Languages for Mechanized Mathematics Systems (PLMMS) (Birmingham, UK, 28-29 July 2008)
• 10th Asian Logic Conference (Kobe, Japan 1-6/09/08)
• LFMTP'08 (Subm: abs/14-4-2008 & Paper/21-4-2008; Pittsburgh, PA, USA, 23 June 2008 Affiliated with LICS 2008)
• Logical Pluralism (Tartu, August 27-31, 2008)***