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
http://cc.ee.ntu.edu.tw/~ictac2016/
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.
