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

Marino Miculan miculan at dimi.uniud.it
Sat Apr 3 04:55:29 EDT 2010


[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/




More information about the Types-announce mailing list