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/2010/newsitem/2864/9-2
 1-July-2010-Fifth-Federated-Logic-Conference-FLoC-
 10-Edinburgh-Scotland
DTSTAMP:20091203T000000
SUMMARY:Fifth Federated Logic Conference (FLoC'10)
 , Edinburgh, Scotland
DTSTART;VALUE=DATE:20100709
DTEND;VALUE=DATE:20100721
LOCATION:Edinburgh, Scotland
DESCRIPTION:The fifth Federated Logic Conference (
 FLoC'10), will be 9-21 July, 2010 hosted by the Un
 iversity of Edinburgh. The following seven confere
 nces will participate in FLoC:  - International Co
 nference on Computer-Aided Verification (CAV).  - 
 International Conference on Interactive Theorem Pr
 oving (ITP).  - International Conference on Logic 
 Programming (ICLP).  - International Joint Confere
 nce on Automated Reasoning (IJCAR).  - IEEE Sympos
 ium on Logic in Computer Science (LICS).  - Intern
 ational Conference on Rewriting Techniques and App
 lications (RTA).  - International Conference on Th
 eory and Applications of Satisfiability Testing (S
 AT).   For more information, see http://www.floc-c
 onference.org/ or contact Philip Scott (FLoC Works
 hop Chair) at phil at site.uottawa.ca.   Detailed 
 calls for papers (as well as submission instructio
 ns) for each of the participating conferences can 
 be found at the FLoC'10 website. Deadline for subm
 issions: January 11 (CAV), January 15th (IJCAR, IT
 P and RTA), January 26th (ICLP), February 1st (SAT
 ) or February 4th (CSF).
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The f
 ifth Federated Logic Conference (FLoC'10), will be
  9-21\n      July, 2010 hosted by the University o
 f Edinburgh. The following\n      seven conference
 s will participate in FLoC:<br />\n        - Inter
 national Conference on Computer-Aided Verification
  (CAV).<br />\n        - International Conference 
 on Interactive Theorem Proving (ITP).<br />\n     
    - International Conference on Logic Programming
  (ICLP).<br />\n        - International Joint Conf
 erence on Automated Reasoning (IJCAR).<br />\n    
     - IEEE Symposium on Logic in Computer Science 
 (LICS).<br />\n        - International Conference 
 on Rewriting Techniques and Applications\n        
   (RTA).<br />\n        - International Conference
  on Theory and Applications of Satisfiability\n   
        Testing (SAT).<br />\n      </p>\n    \n\n 
      \n      <p>For more information, see\n       
  <a target="_blank" href="http://www.floc-conferen
 ce.org/">http://www.floc-conference.org/</a>\n    
     or contact Philip Scott (FLoC Workshop Chair) 
 at \n        <a class="email">phil <span class="at
 ">at</span> site.uottawa.ca</a>.\n      </p>\n    
 </div><div>\n      <p>Detailed calls for papers (a
 s well as submission\n      instructions) for each
  of the participating conferences can be\n      fo
 und at the FLoC'10 website. Deadline for submissio
 ns: January\n      11 (CAV), January 15th (IJCAR, 
 ITP and RTA), January 26th\n      (ICLP), February
  1st (SAT) or February 4th (CSF).\n      </p>\n   
    </div>
URL:/NewsandEvents/Archives/2010/newsitem/2864/9-2
 1-July-2010-Fifth-Federated-Logic-Conference-FLoC-
 10-Edinburgh-Scotland
END:VEVENT
END:VCALENDAR