[TYPES/announce] LFMTP 2010 at FLoC: extended deadline

[Marino Miculan]

[Apologies for multiple copies]


		    5th International Workshop on
Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'10)

		July 14, 2010, Edinburgh, Scotland, UK
		Part of the Federated Logic Conference
	Affiliated with Logic in Computer Science (LICS 2010)


       *** New submission deadline: April 7, 2010  ***

       More details at   http://lfmtp10.dimi.uniud.it


--
Marino Miculan - Dept Math Compu Sci, University of Udine
miculan at dimi.uniud.it      http://www.dimi.uniud.it/miculan/