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/2022/newsitem/13578/23
 ---24-September-2022-17th-Workshop-on-Logical-and-
 Semantic-Frameworks-with-Applications-LSFA22-Belo-
 Horizonte-Brazil
DTSTAMP:20220428T172413
SUMMARY:17th Workshop on Logical and Semantic Fram
 eworks with Applications (LSFA22), Belo Horizonte,
  Brazil
DTSTART;VALUE=DATE:20220923
DTEND;VALUE=DATE:20220924
LOCATION:Belo Horizonte, Brazil
DESCRIPTION:Logical and semantic frameworks are fo
 rmal languages used to represent logics, languages
  and systems. These frameworks provide foundations
  for the formal specification of systems and compu
 tational languages, supporting tool development an
 d reasoning. The LSFA series' objective is to put 
 together theoreticians and practitioners to promot
 e new techniques and results, from the theoretical
  side, and feedback on the implementation and use 
 of such techniques and results, from the practical
  side.  LSFA topics of interest include, but are n
 ot limited to: * Automated deduction * Application
 s of logical and semantic frameworks * Computation
 al and logical properties of semantic frameworks *
  Formal semantics of languages and systems * Imple
 mentation of logical and semantic frameworks * Lam
 bda and combinatory calculi * Logical aspects of c
 omputational complexity * Logical frameworks * Pro
 cess calculi * Proof theory * Semantic frameworks 
 * Specification languages and meta-languages * Typ
 e theory.  Contributions should be written in Engl
 ish and submitted in full paper (with a maximum of
  16 pages excluding references) or short papers (w
 ith a maximum of 6 pages excluding references). Th
 ey must be unpublished and not submitted simultane
 ously for publication elsewhere. The papers should
  be prepared in LaTeX using the EPTCS style.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Logical a
 nd semantic frameworks are formal languages used t
 o represent logics, languages and systems. These f
 rameworks provide foundations for the formal speci
 fication of systems and computational languages, s
 upporting tool development and reasoning. The LSFA
  series' objective is to put together theoretician
 s and practitioners to promote new techniques and 
 results, from the theoretical side, and feedback o
 n the implementation and use of such techniques an
 d results, from the practical side.</p>\n  <p>LSFA
  topics of interest include, but are not limited t
 o: * Automated deduction * Applications of logical
  and semantic frameworks * Computational and logic
 al properties of semantic frameworks * Formal sema
 ntics of languages and systems * Implementation of
  logical and semantic frameworks * Lambda and comb
 inatory calculi * Logical aspects of computational
  complexity * Logical frameworks * Process calculi
  * Proof theory * Semantic frameworks * Specificat
 ion languages and meta-languages * Type theory.</p
 >\n</div><div>\n  <p>Contributions should be writt
 en in English and submitted in full paper (with a 
 maximum of 16 pages excluding references) or short
  papers (with a maximum of 6 pages excluding refer
 ences). They must be unpublished and not submitted
  simultaneously for publication elsewhere. The pap
 ers should be prepared in LaTeX using the EPTCS st
 yle.</p>\n</div>
URL:https://lsfa2022.dcc.ufmg.br/
END:VEVENT
END:VCALENDAR