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

Jim Royer royer at ecs.syr.edu
Fri Apr 8 15:51:18 EDT 2005

Previous message: [TYPES] Call for Papers: Fifth International Conference on Integrated Formal Methods (IFM 2005)
Next message: [TYPES] Haskell workshop 2005: call for papers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

The Logic and Computational Complexity Workshop (LCC'05) will be held on
24-25 June 2005 in Chicago as a satellite workshop of the Logic in 
Computer Science Conference (LICS'05).

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

	      http://www.cis.syr.edu/~royer/lcc/LCC05/

Previous message: [TYPES] Call for Papers: Fifth International Conference on Integrated Formal Methods (IFM 2005)
Next message: [TYPES] Haskell workshop 2005: call for papers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-list mailing list