News - Forwarded

ICTAC 2016 13th International Colloquium on Theoretical Aspects of Computing Conference&Fall School

The Office of International Affairs is forwarding the following information provided by ICTAC.

ICTAC 2016 13th International Colloquium on Theoretical Aspects of Computing Conference & Fall School

National Taiwan University, Taipei, Taiwan, ROC


Proceedings will be archived in LNCS 9965, Springer-Verlag.


** Conference: Oct. 24-28, 2016 ** 

    4 keynote speeches

         A. Leonardo de Moura (Microsoft Research),

             The Lean Theorem Prover

        B. Prof. Heike Wehrheim (Paderborn University),

            Verification of Concurrent Programs on Weak Memory Models

        C. Hsu-Chun Yen (National Taiwan University),

            Petri Nets and Semilinear Sets

        D. Wen-Lian Hsu (Academia Sinica),

            Applications of the Alignment Algorithm

    3 tutorials by 

        A. Jim Woodcock (University of York)

        B. Leonardo de Moura (Microsoft Research)

        C. Hsu-Chun Yen (National Taiwan University)

    25 paper presentations

    Banquet, reception, and excursion


** Fall School: Oct. 28-30, 2016 ** 

    Four 3-hour short courses:  

         A. Prof. Tony Tan (National Taiwan University)

             Spectrum problem and descriptive complexity

         B. Dr. De-Nian Yang (Academia Sinica)

             Combinatorial Group Optimization in Online Social Networks

         C. Prof. Hung-Yi Lee (National Taiwan University)

             Learning to use Deep learning in 3 hours

         D. Prof. Lijun Zhang (Chinese Academy of Science)

             Probabilistic Model Checking -- Theory and Tools


The registration webpage is now ready. 

We look forward to welcoming you in ICTAC 2016.

Update: 2016 / 10 / 21