BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2007/newsitem/1697/16-
 July-2007-Logical-Frameworks-and-Meta-Languages-LF
 MTP07-Bremen-Germany
DTSTAMP:20070131T000000
SUMMARY:Logical Frameworks and Meta-Languages (LFM
 TP07), Bremen, Germany
DTSTART;VALUE=DATE:20070716
DTEND;VALUE=DATE:20070716
LOCATION:Bremen, Germany
DESCRIPTION:LFMTP'07 continues the International w
 orkshop on Logical Frameworks and Meta-languages (
 LFM) and the MERLIN workshop on MEchanized Reasoni
 ng about Languages with variable BIndingIN).   Log
 ical frameworks and meta-languages form a common s
 ubstrate for representing, implementing, and reaso
 ning about a wide variety of deductive systems of 
 interest in logic and computer science. Their desi
 gn and implementation on the one hand and their ap
 plications in for example proof-carrying code have
  been the focus of considerable research over the 
 last two decades. This workshop will bring togethe
 r designers, implementors, and practitioners to di
 scuss all aspects of logical frameworks.   For mor
 e information, see http://www.cs.mcgill.ca/~bpient
 ka/lfmtp07   The Programme Committee cordially inv
 ites all researchers to submit their papers for pr
 esentation. Submission deadline is 7 May 2007.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>LFMTP
 '07 continues the International workshop on Logica
 l Frameworks\n        and Meta-languages (LFM) and
  the MERLIN workshop on MEchanized\n        Reason
 ing about Languages with variable BIndingIN).\n   
    </p>\n      <p>Logical frameworks and meta-lang
 uages form a common substrate for\n        represe
 nting, implementing, and reasoning about a wide va
 riety of\n        deductive systems of interest in
  logic and computer science. Their\n        design
  and implementation on the one hand and their appl
 ications in\n        for example proof-carrying co
 de have been the focus of considerable\n        re
 search over the last two decades. This workshop wi
 ll bring together\n        designers, implementors
 , and practitioners to discuss all aspects of\n   
      logical frameworks.\n      </p>\n    \n      
 \n      <p>For more information, see\n        <a t
 arget="_blank" href="http://www.cs.mcgill.ca/~bpie
 ntka/lfmtp07">http://www.cs.mcgill.ca/~bpientka/lf
 mtp07</a>\n      </p>\n    </div><div>\n      <p>\
 n        The Programme Committee cordially invites
  all researchers\n        to submit their\n       
  papers for presentation.\n        Submission dead
 line is 7 May    2007.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2007/newsitem/1697/16-
 July-2007-Logical-Frameworks-and-Meta-Languages-LF
 MTP07-Bremen-Germany
END:VEVENT
END:VCALENDAR