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/2016/newsitem/7366/24-
 31-October-2016-13th-International-Colloquium-on-T
 heoretical-Aspects-of-Computing-ICTAC-2016-Taipei-
 Taiwan
DTSTAMP:20160508T000000
SUMMARY:13th International Colloquium on Theoretic
 al Aspects of Computing (ICTAC 2016), Taipei, Taiw
 an
DTSTART;VALUE=DATE:20161024
DTEND;VALUE=DATE:20161031
LOCATION:Taipei, Taiwan
DESCRIPTION:Established in 2004, the ICTAC confere
 nce series aims at bringing together practitioners
  and researchers from academia, industry and gover
 nment to present research and to exchange ideas an
 d experience addressing challenges in both theoret
 ical aspects of computing and in the exploitation 
 of theory through methods and tools for system dev
 elopment. ICTAC also aims to promote cooperation i
 n research and education between participants and 
 their institutions, from developing and industrial
  countries.   Topics of interest include theories 
 of computation and programming, foundations of sof
 tware engineering and formal techniques in softwar
 e design and verification, as well as tools that s
 upport formal techniques for system modeling, desi
 gn and verification.   For more information, see h
 ttp://cc.ee.ntu.edu.tw/~ictac2016  We call for sub
 missions, related to the above areas and topics, a
 ccording to the following three categories:  * Reg
 ular papers, with original research contributions;
   * Short papers, on recent work or proposals of e
 merging challenges;  * Tool papers, on tools that 
 support formal techniques for software modeling, s
 ystem design and verification.  Final paper submis
 sion deadline: 16 May, 2016.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>Estab
 lished in 2004, the ICTAC conference series aims a
 t bringing\n        together practitioners and res
 earchers from academia, industry and\n        gove
 rnment to present research and to exchange ideas a
 nd experience\n        addressing challenges in bo
 th theoretical aspects of computing and in\n      
   the exploitation of theory through methods and t
 ools for system\n        development. ICTAC also a
 ims to promote cooperation in research and\n      
   education between participants and their institu
 tions, from developing\n        and industrial cou
 ntries.\n      </p>\n      <p>Topics of interest i
 nclude theories of computation and programming,\n 
        foundations of software engineering and for
 mal techniques in software\n        design and ver
 ification, as well as tools that support formal\n 
        techniques for system modeling, design and 
 verification.\n      </p>\n    \n      \n      <p>
 For more information, see\n        <a target="_bla
 nk" href="http://cc.ee.ntu.edu.tw/~ictac2016">http
 ://cc.ee.ntu.edu.tw/~ictac2016</a>\n      </p>\n  
   </div><div>\n      <p>We call for submissions, r
 elated to the above areas and topics,\n        acc
 ording to the following three categories:<br/>\n  
       * Regular papers, with original research con
 tributions;<br/>\n        * Short papers, on recen
 t work or proposals of emerging challenges;<br/>\n
         * Tool papers, on tools that support forma
 l techniques for software\n        modeling, syste
 m design and verification.<br/>\n        Final pap
 er submission deadline: 16 May, 2016.\n      </p>\
 n      </div>
URL:/NewsandEvents/Archives/2016/newsitem/7366/24-
 31-October-2016-13th-International-Colloquium-on-T
 heoretical-Aspects-of-Computing-ICTAC-2016-Taipei-
 Taiwan
END:VEVENT
END:VCALENDAR