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/12730/10
 ---13-January-2022-Symposium-on-Logical-Foundation
 s-of-Computer-Science-LFCS-22-Deerfield-Beach-Flor
 ida-U-S-A-Hybrid-
DTSTAMP:20210913T141535
SUMMARY:Symposium on Logical Foundations of Comput
 er Science (LFCS'22), Deerfield Beach, Florida, U.
 S.A. (Hybrid)
DTSTART;VALUE=DATE:20220110
DTEND;VALUE=DATE:20220113
LOCATION:Deerfield Beach, Florida, U.S.A. (Hybrid)
DESCRIPTION:The LFCS series provides an outlet for
  the fast-growing body of work in the logical foun
 dations of computer science, e.g., areas of fundam
 ental theoretical logic related to computer scienc
 e.  LFCS topics of interest include, but are not l
 imited to: constructive mathematics and type theor
 y; homotopy type theory; logic, automata, and auto
 matic structures; computability and randomness; lo
 gical foundations of programming; logical aspects 
 of computational complexity; parameterized complex
 ity; logic programming and constraints; automated 
 deduction and interactive theorem proving; logical
  methods in protocol and program verification; log
 ical methods in program specification and extracti
 on; domain theory logics; logical foundations of d
 atabase theory; equational logic and term rewritin
 g; lambda and combinatory calculi; categorical log
 ic and topological semantics; linear logic; episte
 mic and temporal logics; intelligent and multiple 
 agent system logics; logics of proof and justifica
 tion; nonmonotonic reasoning; logic in game theory
  and social software; logic of hybrid systems; dis
 tributed system logics; mathematical fuzzy logic; 
 system design logics; other logics in computer sci
 ence.  Traditionally, LFCS symposia are located in
  the spectacular Wyndham Deerfield Beach Resort, D
 eerfield Beach, Florida. Because of the ongoing pa
 ndemic, we intend to have a hybrid meeting, to all
 ow for both physical and virtual attendance, the d
 etails will be decided later.  Submission details:
   Proceedings will be published in the Springer LN
 CS series. Submissions should be made electronical
 ly via easychair. Submitted papers must be in pdf/
 12pt format and of no more than 15 pages, present 
 work not previously published, and must not be sub
 mitted concurrently to another conference with ref
 ereed proceedings.  A traditional post-conference 
 volume of selected LFCS'22 papers will be publishe
 d in the Journal of Logic and Computation in 2022.
   LFCS issues the best student paper award named a
 fter John Barkley Rosser Sr. (1907-1989), a promin
 ent American logician with fundamental contributio
 ns in both Mathematics and Computer Science.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The LFCS 
 series provides an outlet for the fast-growing bod
 y of work in the logical foundations of computer s
 cience, e.g., areas of fundamental theoretical log
 ic related to computer science.</p>\n\n  <p>LFCS t
 opics of interest include, but are not limited to:
  constructive mathematics and type theory; homotop
 y type theory; logic, automata, and automatic stru
 ctures; computability and randomness; logical foun
 dations of programming; logical aspects of computa
 tional complexity; parameterized complexity; logic
  programming and constraints; automated deduction 
 and interactive theorem proving; logical methods i
 n protocol and program verification; logical metho
 ds in program specification and extraction; domain
  theory logics; logical foundations of database th
 eory; equational logic and term rewriting; lambda 
 and combinatory calculi; categorical logic and top
 ological semantics; linear logic; epistemic and te
 mporal logics; intelligent and multiple agent syst
 em logics; logics of proof and justification; nonm
 onotonic reasoning; logic in game theory and socia
 l software; logic of hybrid systems; distributed s
 ystem logics; mathematical fuzzy logic; system des
 ign logics; other logics in computer science.</p>\
 n\n  <p>Traditionally, LFCS symposia are located i
 n the spectacular <a href="http://www.wyndhamdeerf
 ieldresort.com/" target="_blank">Wyndham Deerfield
  Beach Resort</a>, Deerfield Beach, Florida. Becau
 se of the ongoing pandemic, we intend to have a hy
 brid meeting, to allow for both physical and virtu
 al attendance, the details will be decided later.<
 /p>\n</div><div>\n  <p>Submission details:<br>\n  
 Proceedings will be published in the Springer LNCS
  series. Submissions should be made electronically
  via easychair. Submitted papers must be in pdf/12
 pt format and of no more than 15 pages, present wo
 rk not previously published, and must not be submi
 tted concurrently to another conference with refer
 eed proceedings.<br>\n  A traditional post-confere
 nce volume of selected LFCS'22 papers will be publ
 ished in the Journal of Logic and Computation in 2
 022.<br>\n  LFCS issues the best student paper awa
 rd named after John Barkley Rosser Sr. (1907-1989)
 , a prominent American logician with fundamental c
 ontributions in both Mathematics and Computer Scie
 nce.</p>\n</div>
URL:http://lfcs.ws.gc.cuny.edu/
CONTACT:Sergei Artemov at sartemov at gc.cuny.edu
END:VEVENT
END:VCALENDAR