TLCA

International Conference on Typed Lambda Calculi and Applications

  1. 2014

    TLCA 2014

    • 14-17 July
    • Vienna, Austria
  2. 2013

    TLCA 2013

    • 26-28 June
    • Eindhoven, The Netherlands
  3. 2011

    TLCA 2011

    • 1-3 June
    • Novi Sad, Serbia
  4. 2009

    TLCA 2009

    • 1-3 July
    • Brasília, Brazil
  5. 2007

    TLCA 2007

    • 26-28 June
    • Paris, France
  6. 2005

    TLCA 2005

    • 21-23 April
    • Nara, Japan
  7. 2003

    TLCA 2003

    • 10-12 June
    • Valencia, Spain
  8. 2001

    TLCA 2001

    • 2-5 May
    • Kraków, Poland
  9. 1999

    TLCA 1999

    • 7-9 April
    • L'Aquila, Italy
  10. 1997

    TLCA 1997

    • 2-4 April
    • Nancy, France
  11. 1995

    TLCA 1995

    • 10-12 April
    • Edinburgh, United Kingdom
  12. 1993

    TLCA 1993

    • 16-18 March
    • Utrecht, The Netherlands