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/14894/18
 ---20-September-2024-19th-International-Workshop-o
 n-Logical-and-Semantic-Frameworks-with-Application
 s-LSFA-2024-Goiânia-Brazil-
DTSTAMP:20240328T174725
SUMMARY:19th International Workshop on Logical and
  Semantic Frameworks with Applications (LSFA 2024)
 , Goiânia (Brazil)
DTSTART;VALUE=DATE:20240918
DTEND;VALUE=DATE:20240920
LOCATION:Goiânia (Brazil)
DESCRIPTION:Logical and semantic frameworks are fo
 rmal languages used to represent logics, languages
  and systems. These frameworks provide foundations
  for the for mal specification of systems and comp
 utational languages, supporting tool development a
 nd reasoning.  LSFA topics of interest include, bu
 t are not limited to: * Automated deduction * Appl
 ications of logical and/or semantic frameworks * C
 omputational and logical properties of semantic fr
 ameworks * Formal semantics of languages and syste
 ms * Implementation of logical and/or semantic fra
 meworks * Lambda and combinatory calculi * Logical
  aspects of computational complexity * Logical fra
 meworks * Process calculi * Proof theory * Semanti
 c frameworks * Specification languages and meta-la
 nguages * Type theory.  All papers must be unpubli
 shed and not simultaneously submitted to another j
 ournal or conference. The following paper categori
 es are welcome: * Full papers with a maximum of 16
  pages * Short papers with a maximum of 6 pages. T
 he papers should be prepared in latex using EPTCS 
 style, and submitted as a PDF file. All contributi
 ons should be written in English.
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 for mal spec
 ification of systems and computational languages, 
 supporting tool development and reasoning.</p>\n  
 <p>LSFA topics of interest include, but are not li
 mited to: * Automated deduction * Applications of 
 logical and/or semantic frameworks * Computational
  and logical properties of semantic frameworks * F
 ormal semantics of languages and systems * Impleme
 ntation of logical and/or semantic frameworks * La
 mbda and combinatory calculi * Logical aspects of 
 computational complexity * Logical frameworks * Pr
 ocess calculi * Proof theory * Semantic frameworks
  * Specification languages and meta-languages * Ty
 pe theory.</p>\n</div><div>\n  <p>All papers must 
 be unpublished and not simultaneously submitted to
  another journal or conference. The following pape
 r categories are welcome: * Full papers with a max
 imum of 16 pages * Short papers with a maximum of 
 6 pages. The papers should be prepared in latex us
 ing EPTCS style, and submitted as a PDF file. All 
 contributions should be written in English.</p>\n<
 /div>
URL:https://sites.google.com/ufg.br/lsfa2024
CONTACT:c.kop at cs.ru.nl
CONTACT:ventura at ufg.br
END:VEVENT
END:VCALENDAR