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/13429/27
 ---29-September-2022-19th-International-Colloquium
 -on-Theoretical-Aspects-of-Computing-ICTAC-Tbilisi
 -Georgia-Hybrid-
DTSTAMP:20220627T134332
SUMMARY:19th International Colloquium on Theoretic
 al Aspects of Computing (ICTAC), Tbilisi, Georgia 
 (Hybrid)
DTSTART;VALUE=DATE:20220927
DTEND;VALUE=DATE:20220929
LOCATION:Tbilisi, Georgia (Hybrid)
DESCRIPTION:The ICTAC conference series aims at br
 inging together researchers and practitioners from
  academia, industry and government to present rese
 arch and exchange ideas and experience addressing 
 challenges in both theoretical aspects of computin
 g and the exploitation of theory through methods a
 nd tools for system development. ICTAC also aims t
 o promote research cooperation between developing 
 and industrial countries. ICTAC 2022 will be part 
 of Computational Logic Autumn Summit (CLAS 2022). 
 Taking into account the coronavirus pandemic and t
 he war in Ukraine, the conference will be organize
 d as a hybrid event.  The conference concerns all 
 aspects of theoretical computer science, including
 , but not limited to: Languages and automata - Sem
 antics of programming languages - Logic in compute
 r science - Lambda calculus, type theory and categ
 ory theory - Domain-specific languages - Theories 
 of concurrency and mobility - Theories of distribu
 ted computing - Models of objects and components -
  Coordination models - Timed, hybrid, embedded and
  cyber-physical systems - Security and privacy - S
 tatic analysis - Probabilistic and statistical ver
 ification - Software verification - Software testi
 ng - Runtime verification - Program generation and
  transformation - Model checking and theorem provi
 ng - Applications and case studies - AI-enabled so
 ftware development - Theory and methods of trustwo
 rthy AI.  We solicit submissions, related to the t
 opics of ICTAC, in the following categories: origi
 nal research contributions (16 pages max, excludin
 g references); applications and experiences (16 pa
 ges max, excluding references); short papers, with
  original work in progress or with proposals of ne
 w ideas and emerging challenges (6 pages max, excl
 uding references); and tool papers (6 pages max, e
 xcluding references).  All submissions must be ori
 ginal, unpublished, and not submitted concurrently
  for publication elsewhere. Paper submission is do
 ne via EasyChair. Papers must be formatted accordi
 ng to the guidelines for Springer LNCS papers (see
  ), without modifications of margins and other spa
 ce-saving measures. All accepted papers in categor
 ies A-D will appear in the proceedings of the conf
 erence that will be published as a volume in Sprin
 ger's Lecture Notes in Computer Science (LNCS) ser
 ies.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The ICTAC
  conference series aims at bringing together resea
 rchers and practitioners from academia, industry a
 nd government to present research and exchange ide
 as and experience addressing challenges in both th
 eoretical aspects of computing and the exploitatio
 n of theory through methods and tools for system d
 evelopment. ICTAC also aims to promote research co
 operation between developing and industrial countr
 ies. ICTAC 2022 will be part of <a href="https://v
 iam.science.tsu.ge/clas2022" target="_blank">Compu
 tational Logic Autumn Summit (CLAS 2022)</a>. Taki
 ng into account the coronavirus pandemic and the w
 ar in Ukraine, the conference will be organized as
  a hybrid event.</p>\n  <p>The conference concerns
  all aspects of theoretical computer science, incl
 uding, but not limited to: Languages and automata 
 - Semantics of programming languages - Logic in co
 mputer science - Lambda calculus, type theory and 
 category theory - Domain-specific languages - Theo
 ries of concurrency and mobility - Theories of dis
 tributed computing - Models of objects and compone
 nts - Coordination models - Timed, hybrid, embedde
 d and cyber-physical systems - Security and privac
 y - Static analysis - Probabilistic and statistica
 l verification - Software verification - Software 
 testing - Runtime verification - Program generatio
 n and transformation - Model checking and theorem 
 proving - Applications and case studies - AI-enabl
 ed software development - Theory and methods of tr
 ustworthy AI.</p>\n</div><div>\n  <p>We solicit su
 bmissions, related to the topics of ICTAC, in the 
 following categories: original research contributi
 ons (16 pages max, excluding references); applicat
 ions and experiences (16 pages max, excluding refe
 rences); short papers, with original work in progr
 ess or with proposals of new ideas and emerging ch
 allenges (6 pages max, excluding references); and 
 tool papers (6 pages max, excluding references).</
 p>\n  <p>All submissions must be original, unpubli
 shed, and not submitted concurrently for publicati
 on elsewhere. Paper submission is done via EasyCha
 ir. Papers must be formatted according to the <a h
 ref="http://www.springer.com/lncs" target="_blank"
 >guidelines for Springer LNCS papers</a> (see ), w
 ithout modifications of margins and other space-sa
 ving measures. All accepted papers in categories A
 -D will appear in the proceedings of the conferenc
 e that will be published as a volume in Springer's
  Lecture Notes in Computer Science (LNCS) series.<
 /p>\n</div>
URL:https://viam.science.tsu.ge/clas2022/ictac/
END:VEVENT
END:VCALENDAR