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/2022/newsitem/12957/31
 -July---12-August-2022-The-Eighth-Federated-Logic-
 Conference-FLoC-2022-Haifa-Israel
DTSTAMP:20210916T183633
SUMMARY:The Eighth Federated Logic Conference (FLo
 C 2022), Haifa, Israel
DTSTART;VALUE=DATE:20220731
DTEND;VALUE=DATE:20220812
LOCATION:Haifa, Israel
DESCRIPTION:The Eighth Federated Logic Conference 
 (FLoC 2022) will host the following ten conference
 s and affiliated workshops: LICS (37th Annual ACM/
 IEEE Symposium on Logic in Computer Science)FSCD (
 7th International Conference on Formal Structures 
 for Computation and Deduction)ITP (13th Internatio
 nal Conference on Interactive Theorem Proving)IJCA
 R (International Joint Conference on Automated Rea
 soning)CSF (35th IEEE Computer Security Foundation
 s Symposium)CAV (34th International Conference on 
 Computer Aided Verification)KR (19th International
  Conference on Principles of Knowledge Representat
 ion and Reasoning)ICLP (38th International Confere
 nce on Logic Programming)SAT (25th International C
 onference on Theory and Applications of Satisfiabi
 lity Testing)CP (25th International Conference on 
 Principles and Practice of Constraint Programming)
   Researchers and practitioners are invited to sub
 mit proposals for workshops on topics in the field
  of computer science, related to logic in the broa
 d sense. Each workshop proposal must indicate one 
 affiliated conference of FLoC 2022.  Each proposal
  should consist of an organisational part, and a s
 hort scientific justification of the proposed topi
 c, its significance, and the particular benefits o
 f the workshop to the community, as well as a list
  of previous or related workshops (if relevant). I
 t is strongly suggested that prospective workshop 
 organizers contact the relevant conference worksho
 p chair before submitting a proposal.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The Eight
 h Federated Logic Conference (FLoC 2022) will host
  the following ten conferences and affiliated work
 shops:</p>\n\n  <ul>\n    <li><a href="http://lics
 .rwth-aachen.de/" target="_blank">LICS (37th Annua
 l ACM/IEEE Symposium on Logic in Computer Science)
 </a></li>\n  </ul>\n\n  <ul>\n    <li><a href="htt
 p://fscd-conference.org/" target="_blank">FSCD (7t
 h International Conference on Formal Structures fo
 r Computation and Deduction)</a></li>\n\n    <li><
 a href="https://itp-conference.github.io/" target=
 "_blank">ITP (13th International Conference on Int
 eractive Theorem Proving)</a></li>\n\n    <li><a h
 ref="http://www.ijcar.org">IJCAR (International Jo
 int Conference on Automated Reasoning)</a></li>\n 
  </ul>\n\n  <ul>\n    <li><a href="http://www.ieee
 -security.org/CSFWweb/" target="_blank">CSF (35th 
 IEEE Computer Security Foundations Symposium)</a><
 /li>\n  </ul>\n\n  <ul>\n    <li><a href="http://i
 -cav.org/" target="_blank">CAV (34th International
  Conference on Computer Aided Verification)</a></l
 i>\n  </ul>\n\n  <ul>\n    <li><a href="http://www
 .kr.org/" target="_blank">KR (19th International C
 onference on Principles of Knowledge Representatio
 n and Reasoning)</a></li>\n  </ul>\n\n  <ul>\n    
 <li><a href="https://www.cs.nmsu.edu/ALP/conferenc
 es/" target="_blank">ICLP (38th International Conf
 erence on Logic Programming)</a></li>\n  </ul>\n\n
   <ul>\n    <li><a href="http://www.satisfiability
 .org">SAT (25th International Conference on Theory
  and Applications of Satisfiability Testing)</a></
 li>\n  </ul>\n\n  <ul>\n    <li><a href="http://a4
 cp.org/events/cp-conference-series" target="_blank
 ">CP (25th International Conference on Principles 
 and Practice of Constraint Programming)</a></li>\n
   </ul>\n</div><div>\n  <p>Researchers and practit
 ioners are invited to submit proposals for worksho
 ps on topics in the field of computer science, rel
 ated to logic in the broad sense. Each workshop pr
 oposal must indicate one affiliated conference of 
 FLoC 2022.</p>\n\n  <p>Each proposal should consis
 t of an organisational part, and a short scientifi
 c justification of the proposed topic, its signifi
 cance, and the particular benefits of the workshop
  to the community, as well as a list of previous o
 r related workshops (if relevant). It is strongly 
 suggested that prospective workshop organizers con
 tact the relevant conference workshop chair before
  submitting a proposal.</p>\n</div>
URL:http://www.floc2022.org/
CONTACT:shaull at technion.ac.il
CONTACT:GuillermoAlberto.Perez at uantwerpen.be
END:VEVENT
END:VCALENDAR