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/2017/newsitem/8780/23-
 --24-September-2017-12th-Workshop-on-Logical-and-S
 emantic-Frameworks-with-Applications-LSFA-2017-Bra
 silia-Brazil
DTSTAMP:20170629T145533
SUMMARY:12th Workshop on Logical and Semantic Fram
 eworks, with Applications (LSFA 2017), Brasilia, B
 razil
DTSTART;VALUE=DATE:20170923
DTEND;VALUE=DATE:20170924
LOCATION:Brasilia, 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 2017 will be a satellite event of
  TABLEAUX, FroCoS, and ITP, that aims to be a foru
 m for presenting and discussing work in progress, 
 and therefore to provide feedback to authors on th
 eir preliminary research. The proceedings are prod
 uced after the meeting, so that authors can incorp
 orate this feedback in the published papers.  Cont
 ributions should be written in English and submitt
 ed in the form of full papers with a maximum of 16
  pages including references or short papers with a
  maximum of 6 pages including references. Addition
 al technical material can be provided in a clearly
  marked appendix which will be read by reviewers a
 t their discretion. Contributions must also be unp
 ublished and not submitted simultaneously for publ
 ication 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>LSFA 2017 will be a satellite event of TABLEAUX,
  FroCoS, and ITP, that aims to be a forum for pres
 enting and discussing work in progress, and theref
 ore to provide feedback to authors on their prelim
 inary research. The proceedings are produced after
  the meeting, so that authors can incorporate this
  feedback in the published papers.</p>\n</div><div
 >\n  <p>Contributions should be written in English
  and submitted in the form of full papers with a m
 aximum of 16 pages including references or short p
 apers with a maximum of 6 pages including referenc
 es. Additional technical material can be provided 
 in a clearly marked appendix which will be read by
  reviewers at their discretion. Contributions must
  also be unpublished and not submitted simultaneou
 sly for publication elsewhere.</p>\n</div>
URL:http://lsfa2017.cic.unb.br/
CONTACT:lsfa2017 at easychair.org
END:VEVENT
END:VCALENDAR