Here are a few relevant conferences:

• MFPS 2007
• MFCS 2005
• TLCA 2003, TLCA 2005.
• ICALP 2004, ICALP 2005, ICALP 2006, ICALP 2007
• CTCS 2004
• LICS 2004, LICS 2005, LICS 2006, LICS 2007
• CSL 2005, CSL 2006 , CSL 2007
• Logic Colloquium
• MFPS XXI