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/2018/newsitem/9843/7-J
 uly-2018-Logical-Frameworks-and-Meta-Languages-The
 ory-and-Practice-LFMTP-2018-Oxford-England
DTSTAMP:20180405T235702
SUMMARY:Logical Frameworks and Meta-Languages: The
 ory and Practice (LFMTP 2018), Oxford, England
DTSTART;VALUE=DATE:20180707
DTEND;VALUE=DATE:20180707
LOCATION:Oxford, England
DESCRIPTION:Logical frameworks and meta-languages 
 form a common substrate for representing, implemen
 ting and reasoning about a wide variety of deducti
 ve systems of interest in logic and computer scien
 ce. Their design, implementation and their use in 
 reasoning tasks, ranging from the correctness of s
 oftware to the properties of formal systems, have 
 been the focus of considerable research over the l
 ast two decades. This workshop will bring together
  designers, implementors and practitioners to disc
 uss various aspects impinging on the structure and
  utility of logical frameworks, including state-of
 -the-art techniques, the treatment of variable bin
 ding, inductive and co-inductive reasoning techniq
 ues and the expressiveness and lucidity of the rea
 soning process.  Invited Speakers : Delia Kesner (
 Université Paris Diderot, France), Kuen-Bang Hou, 
 alias Favonia (Institute for Advanced Study, Princ
 eton, USA), and Grigore Rosu (University of Illino
 is at Urbana-Champaign, USA).     In addition to r
 egular papers, we accept the submission of "work i
 n progress" reports, in a broad sense. Those do no
 t need to report fully polished research results, 
 but should be of interest for the community at lar
 ge.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Logical f
 rameworks and meta-languages form a common substra
 te for representing, implementing and reasoning ab
 out a wide variety of deductive systems of interes
 t in logic and computer science. Their design, imp
 lementation and their use in reasoning tasks, rang
 ing from the correctness of software to the proper
 ties of formal systems, have been the focus of con
 siderable research over the last two decades. This
  workshop will bring together designers, implement
 ors and practitioners to discuss various aspects i
 mpinging on the structure and utility of logical f
 rameworks, including state-of-the-art techniques, 
 the treatment of variable binding, inductive and c
 o-inductive reasoning techniques and the expressiv
 eness and lucidity of the reasoning process.</p>\n
 \n  <p>Invited Speakers : Delia Kesner (Université
  Paris Diderot, France), Kuen-Bang Hou, alias Favo
 nia (Institute for Advanced Study, Princeton, USA)
 , and Grigore Rosu (University of Illinois at Urba
 na-Champaign, USA).</p>\n\n  <p>&nbsp;</p>\n</div>
 <div>\n  <p>In addition to regular papers, we acce
 pt the submission of &quot;work in progress&quot; 
 reports, in a broad sense. Those do not need to re
 port fully polished research results, but should b
 e of interest for the community at large.</p>\n</d
 iv>
URL:http://lfmtp.org/workshops/2018/
END:VEVENT
END:VCALENDAR