[Hol-info] LFMTP 2009: Call for Papers

2009-02-18 Thread Amy Felty
Call for Papers LFMTP 2009: 4th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice McGill University, Montreal, Canada August 2, 2009

[Hol-info] PSI 2009: Submission Deadline Extended

2009-02-18 Thread PSI09 Conference
** our apologies for cross-posting ** Due to a number of requests to allow for some delays in submission of papers to PSI'09, the deadline has been moved by two weeks. IMPORTANT DATES !!!