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/2020/newsitem/11461/26
 ---28-August-2020-15th-Workshop-on-Logical-and-Sem
 antic-Frameworks-with-Applications-LSFA-2020-Onlin
 e
DTSTAMP:20200723T151716
SUMMARY:15th Workshop on Logical and Semantic Fram
 eworks, with Applications (LSFA 2020), Online
DTSTART;VALUE=DATE:20200826
DTEND;VALUE=DATE:20200828
LOCATION:Online
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.  In response to COVID-19, the program c
 ommittee and local organization decided to move LS
 FA 2020 to a full online conference.  Contribution
 s should be written in English and submitted in th
 e form of full papers with a maximum of 13 pages e
 xcluding references. Beyond full regular papers, w
 e encourage submissions such as system description
 s, proof pearls, rough diamonds (preliminary resul
 ts and work in progress), original surveys, or ove
 rviews of research projects, where the focus is mo
 re on elegance and dissemination than on novelty. 
 Papers belonging to this second category are expec
 ted to be short, that is, of a maximum of 6 pages 
 excluding references. For both paper categories, a
 dditional technical material can be provided in a 
 clearly marked appendix which will be read by revi
 ewers at their discretion. Contributions must also
  be unpublished and not submitted simultaneously f
 or publication elsewhere.
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>In response to COVID-19, the program committee a
 nd local organization decided to move LSFA 2020 to
  a full online conference.</p>\n</div><div>\n  <p>
 Contributions should be written in English and sub
 mitted in the form of full papers with a maximum o
 f 13 pages excluding references. Beyond full regul
 ar papers, we encourage submissions such as system
  descriptions, proof pearls, rough diamonds (preli
 minary results and work in progress), original sur
 veys, or overviews of research projects, where the
  focus is more on elegance and dissemination than 
 on novelty. Papers belonging to this second catego
 ry are expected to be short, that is, of a maximum
  of 6 pages excluding references. For both paper c
 ategories, additional technical material can be pr
 ovided in a clearly marked appendix which will be 
 read by reviewers at their discretion. Contributio
 ns must also be unpublished and not submitted simu
 ltaneously for publication elsewhere.</p>\n</div>
URL:http://lsfa2020.ufba.br
END:VEVENT
END:VCALENDAR