[TYPES] FINAL CFP: 9th Intl Workshop on Logic & Computational Complexity

James S. Royer royer at ecs.syr.edu
Wed Apr 11 16:09:01 EDT 2007

Previous message: [TYPES] Co-algebraic semantics of typed lambda-calculus
Next message: [TYPES] TLCA List of Open Problems
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

The Logic and Computational Complexity Workshop (LCC'07) will be held on
15 July 2007 in Wroclaw, Poland as a satellite workshop of the Logic in
Computer Science Conference (LICS'07).

The deadline for submissions is April 16. For submission details, see:

               http://www.cis.syr.edu/~royer/icc/LCC07/

Previous message: [TYPES] Co-algebraic semantics of typed lambda-calculus
Next message: [TYPES] TLCA List of Open Problems
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-list mailing list