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/2015/newsitem/6194/31-
 August---4-September-2015-NAT@Logic-2015-Logic-AT-
 Natal-Natal-Brazil
DTSTAMP:20150129T000000
SUMMARY:NAT@Logic 2015: Logic AT Natal, Natal, Bra
 zil
DTSTART;VALUE=DATE:20150831
DTEND;VALUE=DATE:20150904
LOCATION:Natal, Brazil
DESCRIPTION:NAT@Logic 2015 is a pool of workshops 
 related to Logic in Computer Science, in Philosoph
 y, and in Mathematics. The full programme will boa
 st 10 keynote speakers, plus at least 60 contribut
 ed talks and 15 tutorials. The collocated events t
 hat constitute NAT@Logic 2015 are:  LSFA X (10th W
 orkshop on Logical and Semantic Frameworks, with A
 pplications)GeTFun 3.0 (3rd Workshop on Generaliza
 tions of Truth-Functionality)Filomena 2 (2nd Works
 hop on Philosophy, Logic and Applied Metaphysics)L
 FIs^15 (Workshop commemorating the 15 years of the
  LFIs)TRS Reasoning School (TRS = TRS Reasoning Sc
 hool) For more information, see http://natalogic-2
 015.dimap.ufrn.br/   The Programme Committee cordi
 ally invites all researchers to submit their paper
 s for presentation. Submission deadline is 12 Apri
 l 2015.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      NAT@Logic 2015 is a pool of workshops related
  to Logic\n           in Computer Science, in Phil
 osophy, and in Mathematics.\n           The full p
 rogramme will boast 10 keynote speakers,\n        
    plus at least 60 contributed talks and 15 tutor
 ials.\n           The collocated events that const
 itute NAT@Logic 2015 are:\n      </p>\n      <ul>\
 n        <li>LSFA X (10th Workshop on Logical and 
 Semantic Frameworks, with Applications)</li>\n    
     <li>GeTFun 3.0 (3rd Workshop on Generalization
 s of Truth-Functionality)</li>\n        <li>Filome
 na 2 (2nd Workshop on Philosophy, Logic and Applie
 d Metaphysics)</li>\n        <li>LFIs^15 (Workshop
  commemorating the 15 years of the LFIs)</li>\n   
      <li>TRS Reasoning School (TRS = TRS Reasoning
  School)</li>\n      </ul>\n    \n      \n      <p
 >For more information, see\n        <a target="_bl
 ank" href="http://natalogic-2015.dimap.ufrn.br/">h
 ttp://natalogic-2015.dimap.ufrn.br/</a>\n      </p
 >\n    </div><div>\n      <p>\n        The Program
 me Committee cordially invites all researchers\n  
       to submit their\n        papers for presenta
 tion.\n        Submission deadline is 12 April 201
 5.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2015/newsitem/6194/31-
 August---4-September-2015-NAT@Logic-2015-Logic-AT-
 Natal-Natal-Brazil
END:VEVENT
END:VCALENDAR