Theoretical Computer Science Forum

The late TCS Forum (previously known as Formal Methods Forum) was organized by the former Laboratory for Theoretical Computer Science. In January 2008, TCS Forum was merged with the laboratory meetings of the former Laboratory of Computer and Information Science into Information and Computer Science Forum (ICS Forum).

Program archive

• 2007: Spring term, Autumn term
• 2006: Spring term, Autumn term
• 2005: Spring term, Autumn term
• 2004: Spring term, Autumn term
• 2003: Spring term, Autumn term
• 2002: Spring term, Autumn term
• 2001: Spring term, Autumn term
• 2000: Spring term, Autumn term
• 1999: Spring term, Autumn term
• 1998: Spring term, Autumn term
• 1997: Spring term