* LFMTP 2010 at FLoC: extended deadline
@ 2010-04-03 8:55 Marino Miculan
0 siblings, 0 replies; only message in thread
From: Marino Miculan @ 2010-04-03 8:55 UTC (permalink / raw)
To: acl2-NZpS4cJIG2HvQtjrzfazuQ,
agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB,
appsem-YE1jQ5a0g27r6u3/gjwTbCOeiWZ7kpuZ,
caml-list-YJlLV9CSrF6HKRXNmLAf3lAUjnlXr6A1, categories,
cav-all-oS8o3PUfrYnTnL/BiviY71hkA7yGAbr7, coq-c
[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-SKCg+tzqgwRqE5k7x5A0cw@public.gmane.org http://www.dimi.uniud.it/miculan/
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2010-04-03 8:55 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-04-03 8:55 LFMTP 2010 at FLoC: extended deadline Marino Miculan
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).