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/2020/newsitem/12173/30
 -November---4-December-2020-13th-International-Col
 loquium-on-Theoretical-Aspects-of-Computing-ICTAC-
 2020-Virtual
DTSTAMP:20201113T174337
SUMMARY:13th International Colloquium on Theoretic
 al Aspects of Computing (ICTAC 2020), Virtual
DTSTART;VALUE=DATE:20201130
DTEND;VALUE=DATE:20201204
LOCATION:Virtual
DESCRIPTION:The aim of the colloquium is to bring 
 together practitioners and researchers from academ
 ia, industry and government to present research re
 sults, and exchange experience, ideas, and solutio
 ns for their problems in theoretical aspects of co
 mputing. ICTAC also aims to promote research coope
 ration between developing and industrial countries
 .  The topics of the conference include, but are n
 ot limited to: - Languages and automata - Semantic
 s of programming languages - Logic in computer sci
 ence - Lambda calculus, type theory and category t
 heory - Domain-specific languages - Theories of co
 ncurrency and mobility - Theories of distributed, 
 grid and cloud computing - Models of objects and c
 omponents - Coordination models Models of software
  architectures - Timed, hybrid, embedded and cyber
 -physical systems - Static analysis - Software ver
 ification - Software testing - Program generation 
 and transformation - Model checking and automated 
 theorem proving - Interactive theorem proving - Ve
 rified software, formalized programming theory  Th
 e ICTAC 2020 conference will be organised *virtual
 ly* by live presentations using Zoom.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The aim of the
  colloquium is to bring together practitioners and
  researchers from academia, industry and governmen
 t to present research results, and exchange experi
 ence, ideas, and solutions for their problems in t
 heoretical aspects of computing. ICTAC also aims t
 o promote research cooperation between developing 
 and industrial countries.</p>\n\n  <p>The topics o
 f the conference include, but are not limited to: 
 - Languages and automata - Semantics of programmin
 g languages - Logic in computer science - Lambda c
 alculus, type theory and category theory - Domain-
 specific languages - Theories of concurrency and m
 obility - Theories of distributed, grid and cloud 
 computing - Models of objects and components - Coo
 rdination models Models of software architectures 
 - Timed, hybrid, embedded and cyber-physical syste
 ms - Static analysis - Software verification - Sof
 tware testing - Program generation and transformat
 ion - Model checking and automated theorem proving
  - Interactive theorem proving - Verified software
 , formalized programming theory</p>\n\n  <p>The IC
 TAC 2020 conference will be organised *virtually* 
 by live presentations using Zoom.</p>\n
URL:https://ictac2020.github.io/
END:VEVENT
END:VCALENDAR