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/2024/newsitem/14809/8-
 July-2024-Logica-Frameworks-and-Meta-Languages-The
 ory-and-Practice-LFMTP24-Tallinn-Estonia
DTSTAMP:20240215T172415
SUMMARY:Logica Frameworks and Meta Languages: Theo
 ry and  Practice (LFMTP24), Tallinn, Estonia
DTSTART;VALUE=DATE:20240708
DTEND;VALUE=DATE:20240708
LOCATION:Tallinn, Estonia
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 the trea
 tment of variable binding, inductive and co-induct
 ive reasoning techniques and the expressiveness an
 d lucidity of the reasoning process.  We solicit r
 egular papers of up to 15 pages (including referen
 ces). These must be original and not simultaneousl
 y submitted to another venue. They will be reviewe
 d, and we plan to publish (pre- or post-) proceedi
 ngs in a series like EPTCS or similar.  In additio
 n, we encourage the submission of abstracts (1-4 p
 ages including references) describing work-in-prog
 ress, new ideas, challenges, or other interesting 
 informal contributions.  All submitted papers shou
 ld be in PDF format following the EPTCS style guid
 elines.
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 the treatment of variable bin
 ding, inductive and co-inductive reasoning techniq
 ues and the expressiveness and lucidity of the rea
 soning process.</p>\n</div><div>\n  <p>We solicit 
 regular papers of up to 15 pages (including refere
 nces). These must be original and not simultaneous
 ly submitted to another venue. They will be review
 ed, and we plan to publish (pre- or post-) proceed
 ings in a series like EPTCS or similar.</p>\n  <p>
 In addition, we encourage the submission of abstra
 cts (1-4 pages including references) describing wo
 rk-in-progress, new ideas, challenges, or other in
 teresting informal contributions.</p>\n  <p>All su
 bmitted papers should be in PDF format following t
 he EPTCS style guidelines.</p>\n</div>
URL:https://lfmtp.github.io/lfmtp-page/workshops/2
 024/
END:VEVENT
END:VCALENDAR