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/2019/newsitem/10450/24
 ---26-August-2019-14th-Workshop-on-Logical-and-Sem
 antic-Frameworks-with-Applications-LSFA-2019-Natal
 -Brazil
DTSTAMP:20190107T002416
SUMMARY:14th Workshop on Logical and Semantic Fram
 eworks, with Applications (LSFA 2019), Natal, Braz
 il
DTSTART;VALUE=DATE:20190824
DTEND;VALUE=DATE:20190826
LOCATION:Natal, 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 progr
 amming languages, supporting tool development and 
 reasoning.  LSFA 2019 will be a satellite event of
  CADE-27. Invited speakers: Pascal Fontaine (LORIA
 ), Achim Jung (University of Birmingham), Vivek Ni
 gam (Fortiss), Elaine Pimentel (UFRN), Giselle Rei
 s (CMU-Qatar).  Beyond full regular papers, we enc
 ourage submissions such as proof pearls, rough dia
 monds (preliminary results and work in progress), 
 original surveys, or overviews of research project
 s, where the focus is more on elegance and dissemi
 nation than on novelty.  Topics of interest includ
 e, but are not limited to: Specification languages
  and meta-languages, Formal semantics of languages
  and logical systems, Logical frameworks, Semantic
  frameworks, Type theory, Proof theory, Automated 
 deduction, Implementation of logical or semantic f
 rameworks, Applications of logical or semantic fra
 meworks, Computational and logical properties of s
 emantic frameworks, Logical aspects of computation
 al complexity, Lambda and combinatory calculi, Pro
 cess calculi.
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 programming languages, sup
 porting tool development and reasoning.</p>\n\n  <
 p>LSFA 2019 will be a satellite event of CADE-27. 
 Invited speakers: Pascal Fontaine (LORIA), Achim J
 ung (University of Birmingham), Vivek Nigam (Forti
 ss), Elaine Pimentel (UFRN), Giselle Reis (CMU-Qat
 ar).</p>\n</div><div>\n  <p>Beyond full regular pa
 pers, we encourage submissions such as proof pearl
 s, rough diamonds (preliminary results and work in
  progress), original surveys, or overviews of rese
 arch projects, where the focus is more on elegance
  and dissemination than on novelty.</p>\n\n  <p>To
 pics of interest include, but are not limited to: 
 Specification languages and meta-languages, Formal
  semantics of languages and logical systems, Logic
 al frameworks, Semantic frameworks, Type theory, P
 roof theory, Automated deduction, Implementation o
 f logical or semantic frameworks, Applications of 
 logical or semantic frameworks, Computational and 
 logical properties of semantic frameworks, Logical
  aspects of computational complexity, Lambda and c
 ombinatory calculi, Process calculi.</p>\n</div>
URL:https://sites.google.com/view/lsfa2019
CONTACT:lsfa2019 at easychair.org
END:VEVENT
END:VCALENDAR