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/2018/newsitem/9839/26-
 --28-September-2018-13th-Workshop-on-Logical-and-S
 emantic-Frameworks-with-Applications-LSFA-2018-For
 taleza-Brazil
DTSTAMP:20180406T000204
SUMMARY:13th Workshop on Logical and Semantic Fram
 eworks, with Applications (LSFA 2018), Fortaleza, 
 Brazil
DTSTART;VALUE=DATE:20180926
DTEND;VALUE=DATE:20180928
LOCATION:Fortaleza, 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.  Invited Speakers: Yiannis Moschovakis 
 (Los Angeles & Athens), Andreas Herzig (CNRS, IRIT
 , Toulouse), Alessandra Palmigiano (TU Delft) and 
 Amy Felty (Ottawa).  Contributions should be writt
 en in English and submitted in the form of full pa
 pers with a maximum of 13 pages (including referen
 ces) in the new ENTCS format. Beyond full regular 
 papers, we encourage submissions such as proof pea
 rls, rough diamonds, original surveys, or overview
 s of research projects, where the focus is more on
  elegance and dissemination than on novelty. Paper
 s belonging to this second category are expected t
 o be short, that is, of a maximum of 6 pages inclu
 ding references, unless they also contain some nov
 el results. Contributions must be unpublished and 
 not submitted simultaneously for publication elsew
 here.
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>Invited Speakers: Yiannis Moschovakis (Los Angel
 es &amp; Athens), Andreas Herzig (CNRS, IRIT, Toul
 ouse), Alessandra Palmigiano (TU Delft) and Amy Fe
 lty (Ottawa).</p>\n</div><div>\n  <p>Contributions
  should be written in English and submitted in the
  form of full papers with a maximum of 13 pages (i
 ncluding references) in the new ENTCS format. Beyo
 nd full regular papers, we encourage submissions s
 uch as proof pearls, rough diamonds, original surv
 eys, or overviews of research projects, where the 
 focus is more on elegance and dissemination than o
 n novelty. Papers belonging to this second categor
 y are expected to be short, that is, of a maximum 
 of 6 pages including references, unless they also 
 contain some novel results. Contributions must be 
 unpublished and not submitted simultaneously for p
 ublication elsewhere.</p>\n</div>
URL:http://lia.ufc.br/~lsfa2018/
CONTACT:lsfa2018 at easychair.org
END:VEVENT
END:VCALENDAR