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:
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.
\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.Co ntributions should be written in English and submi tted in the form of full papers with a maximum of 13 pages excluding references. Beyond full regular papers, we encourage submissions such as system d escriptions, proof pearls, rough diamonds (prelimi nary results and work in progress), original surve ys, or overviews of research projects, where the f ocus is more on elegance and dissemination than on novelty. Papers belonging to this second category are expected to be short, that is, of a maximum o f 6 pages excluding references. For both paper cat egories, additional technical material can be prov ided in a clearly marked appendix which will be re ad by reviewers at their discretion. Contributions must also be unpublished and not submitted simult aneously for publication elsewhere.