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/2002/newsitem/199/20-J
 uly---1-August-2002-FLoC-2002-The-Third-Federated-
 Logic-Conference-Copenhagen-Denmark
DTSTAMP:20020424T000000
SUMMARY:FLoC 2002: The Third Federated Logic Confe
 rence, Copenhagen, Denmark
DTSTART;VALUE=DATE:20020720
DTEND;VALUE=DATE:20020801
LOCATION:Copenhagen, Denmark
DESCRIPTION:In 1996, as part of its Special Year o
 n Logic and Algorithms, DIMACS hosted the first Fe
 derated Logic Conference (FLoC). It was modeled af
 ter the successful Federated Computer Research Con
 ference (FCRC), and synergetically brought togethe
 r conferences that apply logic to computer science
 .   The third Federated Logic Conference (FLoC'02)
  will be held in Copenhagen, Denmark, in July 2002
 , jointly hosted jointly by the IT University of C
 openhagen, the Technical University of Denmark and
  the University of Copenhagen. The conference will
  be held at the University of Copenhagen.  The fol
 lowing conferences, as well as a large number of w
 orkshops, will participate in FLoC. Conference on 
 Automated Deduction (July 27-30)Conference on Comp
 uter-Aided Verification (July 27-31)Formal Methods
  Europe (July 22-24)International Conference on Lo
 gic Programming (July 29th - August 1st)IEEE Sympo
 sium on Logic in Computer Science (LICS) (July 22-
 25)Conference on Rewriting Techniques and Applicat
 ions (July 22-24)Automated Reasoning with Analytic
  Tableaux and Related Methods (July 30th - August 
 1st)  Deadline for early registration: 15 June 200
 2  For more information, an online registration fo
 rm and preliminary programs, see http://floc02.dik
 u.dk/
X-ALT-DESC;FMTTYPE=text/html:\n      <p>In 1996, a
 s part of its Special Year on Logic and Algorithms
 ,\n      DIMACS hosted the first Federated Logic C
 onference (FLoC). It\n      was modeled after the 
 successful Federated Computer Research\n      Conf
 erence (FCRC), and synergetically brought together
 \n      conferences that apply logic to computer s
 cience.\n      </p>\n      <p>The third Federated 
 Logic Conference (FLoC'02) will be held\n      in 
 Copenhagen, Denmark, in July 2002, jointly hosted 
 jointly by\n      the IT University of Copenhagen,
  the Technical University of\n      Denmark and th
 e University of Copenhagen. The conference will be
 \n      held at the University of Copenhagen.</p>\
 n      <p>The following conferences, as well as a 
 large number of\n      workshops, will participate
  in FLoC.</p>\n      <ul>\n\n        <li>Conferenc
 e on Automated Deduction (July 27-30)</li>\n\n    
     <li>Conference on Computer-Aided Verification 
 (July\n        27-31)</li>\n\n        <li>Formal M
 ethods Europe (July 22-24)</li>\n\n        <li>Int
 ernational Conference on Logic Programming (July 2
 9th -\n        August 1st)</li>\n\n        <li>IEE
 E Symposium on Logic in Computer Science (LICS) (J
 uly\n        22-25)</li>\n\n        <li>Conference
  on Rewriting Techniques and Applications (July\n 
        22-24)</li>\n\n        <li>Automated Reason
 ing with Analytic Tableaux and Related\n        Me
 thods (July 30th - August 1st) </li>\n      </ul>\
 n\n      <p>Deadline for early registration: 15 Ju
 ne 2002</p>\n    \n      <p>For more information, 
 an online registration form and\n        prelimina
 ry programs, see\n        <a target="_blank" href=
 "http://floc02.diku.dk/">http://floc02.diku.dk/</a
 >\n      </p>\n    
URL:/NewsandEvents/Archives/2002/newsitem/199/20-J
 uly---1-August-2002-FLoC-2002-The-Third-Federated-
 Logic-Conference-Copenhagen-Denmark
END:VEVENT
END:VCALENDAR